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.
- 1 Buxton, J.N. and Randell, B. (Eds.), Software Engineering Methods. Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27-31 October 1969.Google Scholar
- 2 Parnas, D.L. Information Distribution Aspects of Design Methodology. Technical Report, Depart. of Comput. Science, Carnegie-Mellon U., Feb., 1971. Presented at the IFIP Congress, 1971, Ljubljana, Yugoslavia, and included in the proceedings.Google Scholar
- 3 Floyd, R.W. Treesort 3 Algorithm 245. Comm. ACM 7, 12 (Dec. 1964), 701.Google ScholarDigital Library
- 4 Hoare, C.A.R. Proof of a program, FIND. Comm. ACM 14, 1 (Jan. 1971), 39-45. Google ScholarDigital Library
- 5 Wirth, N. and H. Weber. Euler: A generalization of ALGOL and its formal definition. Comm. ACM 9, 1 (Jan. 1966), 13-23. Google ScholarDigital Library
- 6 Parnas, D.L., Sample Specification for the Man Machine Interface. Presented at the NATO Advanced Study Institute on Graphics and the Man Machine Interface, April 1971, Erlangen, West Germany (to be included in the proceedings of that institute).Google Scholar
Recommendations
A technique for software module specification with examples
Special 25th Anniversary IssueThis 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 ...
Design and Implementation of a Tool for Specifying Specification in SOFL
Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787Structure Object-oriented Formal Language SOFL is not just a formal language for writing formal specification. It is also an approach and a methodology. SOFL provides a three-step approach for modelling a software system using formal specification. ...
Specs: Making Formal Techniques Usable
Specs, one of the RACE I programming-infrastructure projects, designed to improve software engineering for integrated, broadband communication, is described. Specs is a development methodology that maximizes the automation of telecommunications-software ...
Comments