A Graphic Tool for Generating Ada Language Specifications.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1985
Accession Number
ADA167054

Entities

People

  • Donald E. Bodle Jr

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Application Software
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Formal Languages
  • High Level Languages
  • Information Processing
  • Information Systems
  • Load Monitoring
  • Operating Systems
  • Programming Languages
  • Robotics
  • Software Development
  • Software Development Tools
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Systems Analysis and Design