Automated retrieval of consistent documentation from requirement analysis to program codes for software maintenance

A KBRPS (knowledge-based rapid prototyping system) system for automated support of software documentation his been developed. KBRPS contains a graphic representation of a conceptual model for modeling system structures; a language, FSRSL (frame-based software requirements specification language) for describing the textual form of the conceptual model and further specifying detailed system behaviors; a database for stored specifications files; and a knowledge base for stored rules of software development. The FSRSL specifications stored in the database can be retrieved by a query system for generating formal documents. These documents, which are helpful for understanding the maintained system, include the conceptual model, the FSRSL specifications, the abstract relations of hierarchical specifications, and even the answers to particular questions.<
>