Path: utzoo!utgpu!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: 16 Jun 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.