pasley@SRI-KL (Christine Pasley) (05/14/86)
CS529 - AI In Design & Manufacturing Instructor: Dr. J. M. Tenenbaum Title: Knowledge-Based Development of Software Systems Speakers: Lawrence Markosian Douglas Smith From: Reasoning Systems and Kestrel Institute Date: Wednesday, May 14, 1986 Time: 4:00 - 5:30 Place: Terman 556 In the first part of the talk a knowledge-based approach to the development of software systems is presented. In this approach specifications written in a very-high-level, wide-spectrum language are refined via transformations into efficient programs. Several complex transformations for decomposing and refining specifications are illustrated with examples. In the second part of the talk an area of applied research - the derivation of specifications from requirements will be discussed. A case study in the requirements, specification, design and synthesis of a simple communications system is presented. In the case study only the step from specification to program is automated. It is then suggested how the same technology used in automating that step can be used to automate the derivation of the specification from requirements. Visitors welcome! -------