Article View: comp.ai
Article #8852Re: AI for Software Engineering?
From: Hwa Jin Bae
Date: Sat, 10 Feb 1990 00:34
Date: Sat, 10 Feb 1990 00:34
13 lines
1237 bytes
1237 bytes
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
Technical Details
Message-ID:
<853@wrs.wrs.com>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!rpi!zaphod.mps.ohio-state.edu!tut.cis.ohio-state.edu!ucbvax!mtxinu!rtech!wrs!hwajinReferences:
<1990Feb7.013940.7623@sctc.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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