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.