Date of Award

12-1996

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Thomas C. Hartrum, PhD

Abstract

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.

AFIT Designator

AFIT-GCS-ENG-96D-14

DTIC Accession Number

ADA320698

Download

Share

COinS