Rational Design Methodology.

Abstract

This report describes an effort to specify a software design methodology applicable to the Air Force software environment. Available methodologies and techniques were examined and investigated for: (1) level of completeness; (2) ability to conform to Air Force design practices; and (3) inclusion of techniques for proof of correctness, design specification, and performance assessment of static designs. The rational methodology selected is a synthesis of ideas including data abstraction and refinement, constructive approach for software design, documentation procedures and tools. As a demonstration, the methodology was used to design a major function in the IBM Program Support Library. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1978
Accession Number
ADA062404

Entities

People

  • Antonio Pizzarello
  • Donald Boyd
  • Stanely C. Vestal

Organizations

  • Honeywell International, Inc.

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Application Software
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Engineering
  • Indexes
  • Ions
  • Language
  • Operating Systems
  • Programming Languages
  • Records
  • Resource Management
  • Software Design
  • Software Development
  • Structured Programming

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Science.
  • Systems Analysis and Design