The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document can be created. This research establishes the feasibility of producing customized software specifications based on a formal object-oriented domain model. First the existing Knowledge Based Software Engineering (KBSE) domain model is defined. The requirements for the Elicitor Harvester are then discussed. Allowable specializations of the domain model and user interaction are defined. A design capable of meeting those requirements using an existing domain model built with Reasoning Systems' Software Refinery is presented. Finally the implementation and testing of a feasibility demonstration of the Elicitor Harvester system is discussed.
Generation of object-oriented formal software specifications
1997-01-01
570575 byte
Conference paper
Electronic Resource
English
Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment
British Library Conference Proceedings | 1996
|