A Graphic Tool for Generating Ada Language Specifications.
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH
Pagination or Media Count:
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
- Computer Programming and Software