摘要: … ” in the initial discussion of contracts: laws or regulations that apply to all contracts of a certain … “all provisions of the XX code shall apply to this contract.” Documenting a software contract …
acm.org
core.ac.uk
ieeecomputersociety.org参考文章(15)
Bertrand Meyer, The new culture of software development Journal of Object-oriented Programming. ,vol. 3, pp. 76- 81 ,(1990)
John Potter, Ghinwa Jalloul, Models for Concurrent Eiffel. TOOLS (6). pp. 183- 191 ,(1992)
Harlan D. Mills, Princples of Computer Programming Allyn & Bacon, Inc.. ,(1987)
lb Hoim Sørensen, A Specification Language Program Specification, Proceedings of a Workshop. pp. 381- 401 ,(1981) , 10.1007/3-540-11490-4_23
Alphard : form and content Springer-Verlag. ,(1981) , 10.1007/978-1-4612-5979-4
C B Jones, Systematic software development using VDM Prentice Hall International (UK) Ltd.. ,(1986)
B. W. Lampson, J. J. Horning, R. L. London, J. G. Mitchell, G. J. Popek, Report on the programming language Euclid Sigplan Notices. ,vol. 12, pp. 1- 79 ,(1977) , 10.1145/954666.971189
Robert W. Floyd, Assigning Meanings to Programs Springer, Dordrecht. pp. 65- 81 ,(1993) , 10.1007/978-94-011-1793-7_4
D.C. Luckham, F.W. Von Henke, An Overview of Anna, a Specification Language for Ada IEEE Software. ,vol. 2, pp. 9- 22 ,(1985) , 10.1109/MS.1985.230345
B. Randell, System structure for software fault tolerance ACM SIGPLAN Notices. ,vol. 10, pp. 437- 449 ,(1975) , 10.1145/390016.808467