[comp.software-eng] AI and software engineering

dalamb@qucis.queensu.CA (David Lamb) (07/22/89)

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.