Accession Number:

AD0766319

Title:

Design and Implementation of a Multi-Level System Using Software Modules,

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1973-06-01

Pagination or Media Count:

22.0

Abstract:

A mechanism for holding programs in syntactic form was desired for use by systems which operate on other programs program verifiers, automatic programming systems, and specialized text editors. The mechanism was designed using the software module specification language of D.L. Parnas, and implemented in SAIL, an Algol-like language on the PDP 10. It is suggested that specifications assist in both the design and implementation process. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE