Abstract
Computer Science Department
Keywords
Programming languageComputer scienceSoftware engineeringSoftware
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...
Higher Order Software—A Methodology for Defining Software
The key to software reliability is to design, develop, and manage software with a formalized methodology which can be used by computer scientists and applications engineers to d...
Some conclusions from an experiment in software engineering techniques
Computer Science Department
Information distribution aspects of design methodology
Computer Science Department
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 ...
Publication Info
- Year
- 2008
- Type
- article
- Citations
- 1
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
1
OpenAlex
Cite This
David Lorge Parnas
(2008).
A paradigm for software module specification with examples.
OPAL (Open@LaTrobe) (La Trobe University)
.
https://doi.org/10.1184/r1/6591140
Identifiers
- DOI
- 10.1184/r1/6591140