An Approach to the Hierarchical Specification, Design and Verification of Software.

Abstract

A method is proposed for the production of large software systems via hierarchies of descriptive levels. The method is based upon the simultaneous refinement of data and code adn guarantees conformity between different levels. It is illustrated using the MALPAS Intermediate Language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1987
Accession Number
ADA187450

Entities

People

  • B. D. Bramson

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Air Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Analyzers
  • Classification
  • Computer Programming
  • Computer Science
  • Computers
  • Feasibility Studies
  • Foreign Languages
  • Hierarchies
  • Language
  • Production Engineering
  • Programming Languages
  • Software Design
  • Software Development
  • Software Prototyping
  • Specifications
  • Structured Programming
  • Verification

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design