dalamb@qucis.queensu.CA (David Lamb) (06/20/89)
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