摘要: This paper presents an approach to writing specifications for parts of software systems. The main goal is provide sufficiently precise and complete that other pieces can be written interact with the piece specified without additional information. secondary include in specification no more information than necessary meet first goal. technique illustrated by means a variety examples from tutorial system.
acm.org
laputan.org 参考文章(7)
David Lorge. Parnas, Information distribution aspects of design methodology ifip congress. pp. 339- 344 ,(2012) , 10.1184/R1/6606470.V1
Robert W. Floyd, Algorithm 245: Treesort Communications of the ACM. ,vol. 7, pp. 701- ,(1964) , 10.1145/355588.365103
C. A. R. Hoare, Proof of a program Communications of the ACM. ,vol. 14, pp. 39- 45 ,(1971) , 10.1145/362452.362489
Niklaus Wirth, Helmut Weber, EULER Communications of the ACM. ,vol. 9, pp. 13- 25 ,(1966) , 10.1145/365153.365162
Niklaus Wirth, Helmut Weber, EULER: a generalization of ALGOL, and its formal definition Stanford University. ,(1965)
Tony Hoare, Proof of a Program: FIND Communications of The ACM. ,vol. 14, ,(1971)