Refinement of an Abstract Model of MSG

Abstract

This report describes the second phase of an experiment designed to demonstrate techniques for software development and evolution. The experiment involves the production of a family of functionally similar systems on dissimilar host computers with markedly different operating systems. The basic technique used is machine-assisted stepwise refinement from an abstract model program that embodies the desired characteristics of the family members without overconstraining the individual implementations.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1980
Accession Number
ADA092969

Entities

People

  • Thomas E. Cheatham Jr.
  • William R. Bush

Organizations

  • Harvard University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computers
  • Contracts
  • Databases
  • Debugging
  • Environment
  • Host Computers
  • Language
  • Maintenance
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Specifications
  • Test Methods
  • Universities

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Theoretical Analysis.