Index of Conference Proceedings


Book Description







Proceedings


Book Description

Proceedings of a conference held in Chicago in September 1993. Papers are divided into sessions on synthesis, validation and verification, application, maintenance and evolution, requirements, reuse, evaluation and experiments, and demonstrations. Topics include diagrams for software synthesis, the ARIES simulation component, transformational approach to transportation scheduling, the knowledge base maintenance assistant, and implementation of bounded obligations. Contains only an author index. Annotation copyright by Book News, Inc., Portland, OR.