A technique for software module specification with examples

This paper presents an approach to writing specifications for 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 i...

Full description

Saved in:
Bibliographic Details
Published in:Communications of the ACM 1983, Vol.26 (1), p.75-78
Main Author: PARNAS, D. L
Format: Magazinearticle
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Software
Software engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents an approach to writing specifications for 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.
ISSN:0001-0782
1557-7317
DOI:10.1145/357980.358011