Path: utzoo!attcan!uunet!tut.cis.ohio-state.edu!network!ucsd!orion.cf.uci.edu!uci-ics!zardoz!ccicpg!cci632!rit!tropix!moscom!ur-valhalla!uhura.cc.rochester.edu!rochester!rutgers!jarvis.csri.toronto.edu!qucis!dalamb
From: dalamb@qucis.queensu.CA (David Lamb)
Newsgroups: comp.software-eng
Subject: AI and software engineering
Message-ID: <204@qusuntrc.queensu.CA>
Date: 22 Jul 89 15:34:11 GMT
Reply-To: dalamb@qucis.queensu.CA (David Lamb)
Organization: Queen's University, Kingston Ontario
Lines: 13

I am making a survey of prior work on applications of logic programming
(and to some extent AI techniques in general) to the software design process.
I would appreciate hearing from anyone doing work in this area, especially
if you can send me references to recent work.

For the purpose of this survey "design" means taking a set of
requirements and coming up with a division of a system into modules,
and a specification of those modules, such that you could hand the
design to several programmers (or automated assitants), assign each of
them a module to implement, and have them able to do their work without
needing to interact with each other.  At the moment I am not
particularly interested in methods that generate code from module
specifications.