Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/17/84; site bcsaic.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!vax135!cornell!uw-beaver!fluke!ssc-vax!bcsaic!douglas
From: douglas@bcsaic.UUCP (douglas schuler)
Newsgroups: net.ai,net.research
Subject: Software Engineering Meets Artificial Intelligence
Message-ID: <421@bcsaic.UUCP>
Date: Thu, 2-Jan-86 13:29:08 EST
Article-I.D.: bcsaic.421
Posted: Thu Jan  2 13:29:08 1986
Date-Received: Sat, 4-Jan-86 05:51:32 EST
Distribution: net
Organization: Boeing Computer Services AI Center, Seattle
Lines: 27
Xref: watmath net.ai:3148 net.research:393


   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.arpa