摘要:
springer.com
sci-hub.st 参考文章(8)
M. Hack, PETRI NET LANGUAGE Massachusetts Institute of Technology. ,(1976)
Cliff B. Jones, Program Specifications and Formal Development 1977 International Computing Symposium (ICS 77). pp. 537- 553 ,(1977)
P.E. Lauer, R.H. Campbell, Formal semantics of a class of high-level primitives for coordinating concurrent processes Acta Informatica. ,vol. 5, pp. 297- 332 ,(1975) , 10.1007/BF00264564
John V. Guttag, David R. Musser, Ellis Horowitz, The design of data type specifications international conference on software engineering. pp. 414- 420 ,(1976) , 10.5555/800253.807714
K. G. Stevens, CFD — A FORTRAN-like language for the ILLIAC IV ACM SIGPLAN Notices. ,vol. 10, pp. 72- 76 ,(1975) , 10.1145/390015.808404
Barbara Liskov, Stephen Zilles, Specification techniques for data abstractions ACM SIGPLAN Notices. ,vol. 10, pp. 72- 87 ,(1975) , 10.1145/390016.808426
D. L. Parnas, A technique for software module specification with examples Communications of the ACM. ,vol. 15, pp. 330- 336 ,(1972) , 10.1145/355602.361309
J. J. Horning, B. Randell, Process Structuring ACM Computing Surveys. ,vol. 5, pp. 5- 30 ,(1973) , 10.1145/356612.356614