Date of Award
Master of Science
Department of Electrical and Computer Engineering
Thomas C. Hartrum, PhD
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 could be created. This research establishes the feasibility of producing customized software specifications based on an object-oriented domain model. The research was conducted in three phases. The first phase was to define the requirements for the Elicitor Harvester. Those requirements were balanced between the capabilities of the existing Knowledge Based Software Engineering (KBSE) software used at AFIT and the needs of the Elicitor Harvester system. The second phase consisted of creating a design capable of meeting those requirements. The design was open enough to use the existing software and flexible enough to evolve in an incremental manner. The final phase involved the implementation and testing of a feasibility demonstration of the Elicitor Harvester system. Specifications were successfully generated from two significantly different domain models.
DTIC Accession Number
Karagias, Timothy, "Elicitation of Formal Software Specifications from an Object-Oriented Domain Model" (1996). Theses and Dissertations. 5871.