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

Personal Author(s):

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE