DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA167054
Title:
A Graphic Tool for Generating Ada Language Specifications.
Descriptive Note:
Master's thesis,
Corporate Author:
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH
Report Date:
1985-01-01
Pagination or Media Count:
140.0
Abstract:
Methods for specifying software systems have gained increasing attention as the size and complexity of computer applications has grown. The purpose of this thesis is to present the current state of software specification techniques and to propose improvements in one component of these techniques, the user interface. The use of automated tools for specification is described, with particular emphasis on their user interfaces. Many features of these tools are highlighted. Form this study, a proposal for a graphic interface for software system specification is developed, describing the desirable features of such an interface. Finally, a prototype of the proposal is examined. Keywords Software engineering GTGALS computer program. Author
Distribution Statement:
APPROVED FOR PUBLIC RELEASE