Xref: utzoo comp.ai:4320 comp.software-eng:1650
Path: utzoo!utgpu!jarvis.csri.toronto.edu!qucis!dalamb
From: dalamb@qucis.queensu.CA (David Lamb)
Newsgroups: comp.ai,comp.software-eng
Subject: AI and software design
Message-ID: <205@qusuntrc.queensu.CA>
Date: 20 Jun 89 13:42:30 GMT
Reply-To: dalamb@qucis.queensu.CA (David Lamb)
Organization: Queen's University, Kingston Ontario
Lines: 26

Apologies for the duplication; I posted this last week, but forgot my alternate
addresses at the end, and neglected to cross-post to comp.ai.

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.

David Alex Lamb
Department of Computing and Information Science
Queen's University
Kingston, Ontario, Canada K7L 3N6
(613) 545-6067

ARPA Internet:	David.Lamb@cs.cmu.edu
		dalamb@qucis.queensu.ca
uucp:   	...!utzoo!utcsri!qucis!dalamb