Accession Number : AD0723634

Title :   A Paradigm for Software Module Specification with Examples,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Parnas,D. L.

Report Date : MAR 1971

Pagination or Media Count : 23

Abstract : The paper presents a method for writing specifications of parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, SPECIFICATIONS), INDEXES, SYMBOLS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE