Specification with Examples
Download:
by A Technique For, D. L. Parnas
http://www.infosys.tuwien.ac.at/Teaching/Courses/SWA/papers/parnas72b-mod-specification.pdf
Add To MetaCart
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 seeopdary 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.
Citations
| 70 | Information Distribution Aspects of Design Methodology – Parnas |
| 42 | Proof of a program: Find – Hoare - 1971 |
| 5 | EULER: a generalization of Algol and its formal definition – Wirth, Weber - 1966 |
| 3 | Treesort 3: Algorithm 245 – Floyd - 1964 |
| 1 | Software Engbleering Methods. Report of a conference sponsored by – Buxton, Randell - 1969 |
| 1 | Sample Specification for the Man Machine Interface. Presented at the NATO – Parnas - 1971 |
| 1 | Sojiware Engineering Methods. Report of a conference sponsored by – Buxton, Randell - 1969 |
| 1 | Treesort 3 Algorithm 245 – W - 1964 |
