douglas@bcsaic.UUCP (douglas schuler) (01/02/86)
I am assembling an annotated bibliography on Software Engineering and
Artificial Intelligence. I am tentatively dividing into two parts:
1) The use of AI techniques in software engineering, e.g. using
predicate calculus for requirements specifications.
2) The use of software engineering techniques in AI projects, e.g.
what software engineering techniques can be used without modication
and what techniques or approaches need modification in AI projects.
I am interested in any references that you can provide. These can be
references that seem useful as well as those that you are very familiar
with. Any comments accompanying the references would be especially
appreciated. If you think a better structure than the one I have sketched
above is needed, I'd be interested in that as well. Please mail me
any pertinent information. I will post the bibliography and otherwise
make available the bibliography at various phases of its construction.
Thanks in advance!
--
** MY VIEWS MAY NOT BE IDENTICAL TO THOSE OF THE BOEING CORPORATION **
Doug Schuler (206) 656-5159
{allegra,ihnp4,decvax}uw-beaver!uw-june!bcsaic!douglas
uw-june!bcsaic!douglas@washington.arpadep@allegra.UUCP (Dewayne Perry) (01/06/86)
<i use ai techniques to determine the sequence of first lines to eat> Why would you consider using predicate calculus in requirements specifications as an ai technique?? I would have thought it a logical technique! Dewayne Perry