Abstract
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.
Keywords
Computer scienceVariety (cybernetics)Software engineeringSoftwareSoftware requirements specificationProgramming languageFormal specificationSoftware developmentSoftware constructionArtificial intelligence
Affiliated Institutions
Related Publications
Using formal specifications in the design of a human-computer interface
Formal specification techniques are valuable in software development because they permit a designer to describe the external behavior of a system precisely without specifying it...
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–usin...
Safety analysis of timing properties in real-time systems
The authors formalize the safety analysis of timing properties in real-time systems. The analysis is based on a formal logic, RTL (real-time logic), which is especially suitable...
Extending State Transition Diagrams for the Specification of Human–Computer Interaction
User Software Engineering is a methodology for the specification and implementation of interactive information systems. An early step in the methodology is the creation of a for...
A distributed alternative to finite-state-machine specifications
A specification technique, formally equivalent to finite-state machines, is offered as an alternative because it is inherently distributed and more comprehensible. When applied ...
Publication Info
- Year
- 1972
- Type
- article
- Volume
- 15
- Issue
- 5
- Pages
- 330-336
- Citations
- 737
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
737
OpenAlex
Cite This
David Lorge Parnas
(1972).
A technique for software module specification with examples.
Communications of the ACM
, 15
(5)
, 330-336.
https://doi.org/10.1145/355602.361309
Identifiers
- DOI
- 10.1145/355602.361309