Kestrel Institute

REPORT ON A KNOWLEDGE-BASED SOFTWARE ASSISTANT

Prepared by

(Co-Chairman) CORDELL GREEN, DAVID LUCKHAM, (Co-Chairman), ROBERT BALZER, THOMAS CHEATHAM and CHARLES RICH Prepared for,     ROME AIR DEVELOPMENT CENTER, Griffiss AFB, New York 13441, June 15, 1983

ABSTRACT

This report presents a knowledge-based, life-cycle paradigm for the development, evolution, and maintenance of large software projects. To resolve current software development and maintenance problems, this paradigm introduces a fundamental change in the software life cycle — maintenance and evolution occur by modifying the specifications and then rederiving the implementation, rather than attempting to directly modify the optimized implementation. Since the implementation ...

Get Readings in Artificial Intelligence and Software Engineering now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.