|
 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.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
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.
|
| |
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.
|
| |
3
|
Floyd, R.W. Treesort 3 Algorithm 245. Comm. ACM 7, 12 (Dec. 1964), 701.
|
 |
4
|
|
| |
5
|
|
| |
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).
|
CITED BY 167
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
John V. Guttag , Ellis Horowitz , David R. Musser, The design of data type specifications, Proceedings of the 2nd international conference on Software engineering, p.414-420, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
John H. Wensley , Milton W. Green , Karl N. Levitt , Robert E. Shostak, The design, analysis, and verification of the SIFT fault tolerant system, Proceedings of the 2nd international conference on Software engineering, p.458-469, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Peter G. Neumann , Richard J. Feiertag , Karl N. Levitt , Lawrence Robinson, Software development and proofs of multi-level security, Proceedings of the 2nd international conference on Software engineering, p.421-428, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Thomas E. Cheatham, Jr. , Judy A. Townley , Glenn H. Holloway, A system for program refinement, Proceedings of the 4th international conference on Software engineering, p.53-62, September 17-19, 1979, Munich, Germany
|
|
|
|
|
|
|
|
|
|
|
|
K. S. Shankar , C. S. Chandersekaran, Data flow, abstraction levels and specifications for communications switching systems, Proceedings of the 2nd international conference on Software engineering, p.585-591, October 13-15, 1976, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Donald I. Good , Richard M. Cohen , Lawrence W. Hunter, A Report On The Development Of Gypsy, Proceedings of the 1978 annual conference, p.116-122, December 04-06, 1978, Washington, D.C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Dniestrowski , J. M. Guillaume , R. Mortier, Software engineering in avionics applications, Proceedings of the 3rd international conference on Software engineering, p.124-131, May 10-12, 1978, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Arthur G. Duncan , John S. Hutchison , John W. Bailey , Thomas M. Chapman , Andrew Fregly , Elizabeth Kruesi , Thomas McDonald , Dennis Merrill , Sylvia B. Sheppard, Communication system design using ADA, Proceedings of the 7th international conference on Software engineering, p.398-407, March 26-29, 1984, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
R. B. Kieburtz , W. Barabash , C. R. Hill, A type-checking program linkage system for pascal, Proceedings of the 3rd international conference on Software engineering, p.23-28, May 10-12, 1978, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
William E. Riddle , Jack C. Wileden , John H. Sayler , Alan R. Segal , Allan M. Stavely, Behavior modelling during software design, Proceedings of the 3rd international conference on Software engineering, p.13-22, May 10-12, 1978, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yukikazu Nakamoto , Tadahiro Iwamoto , Masato Hori , Kenichi Hagihara , Nobuki Tokura, An editor for documentation in &pgr;-system to support software development and maintenance, Proceedings of the 6th international conference on Software engineering, p.330-339, September 13-16, 1982, Tokyo, Japan
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Steven B. Lipner , William A. Wulf , Roger R. Schell , Gerald J. Popek , Peter G. Neumann , Clark Weissman , Theodore A. Linden, Security kernels, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf