Xref: utzoo comp.ai:5930 comp.software-eng:2873
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!rpi!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!mtxinu!rtech!wrs!hwajin
From: hwajin@wrs.wrs.com (Hwa Jin Bae)
Newsgroups: comp.ai,comp.software-eng
Subject: Re: AI for Software Engineering?
Message-ID: <853@wrs.wrs.com>
Date: 10 Feb 90 00:34:39 GMT
References: <1990Feb7.013940.7623@sctc.com>
Reply-To: hwajin@wrs.wrs.com ()
Followup-To: comp.ai
Organization: Wind River Systems, Emeryville, CA
Lines: 13

In article <1990Feb7.013940.7623@sctc.com> miller@sctc.com (Steven M. Miller) writes:
>B) relevant papers, technical reports and thesis, etc.

There is a collection edited by Charles Rich and Richard Waters called 
_Readings In Artificial Intelligence and Software Engineering_ published by
Morgan Kaufmann Publishers, Inc.  This collection contains 34 papers 
convering: automatic programming, theorem-proving approaches, transformational
approaches, specification techniques, intelligent programming assistants (like
KBEmacs, etc.), knowledge representation, and others.

-- 
hwajin@wrs.com (uunet!wrs!hwajin)   "Omnibus ex nihil ducendis sufficit unum."
Hwa Jin Bae, Wind River Systems, 1351 Ocean Avenue, Emeryville, CA 94606, USA