摘要: … In the present work, this has been achieved by requiring that the modularity mechanism be first order, and expressible in the kernel of the existing language. Finally, our language …
acm.org
sci-hub.se 参考文章(16)
Anneke Kleppe, Jos Warmer, The Object Constraint Language: Precise Modeling with UML ,(1998)
Jim Woodcock, Jim Davies, Using Z: Specification, Refinement, and Proof ,(1996)
Fiora Pirri, Raymond Reiter, Hector J. Levesque, Foundations for the Situation Calculus. Electronic Transactions on Artificial Intelligence. ,vol. 2, pp. 159- 178 ,(1998)
Michael Jackson, Software requirements & specifications: a lexicon of practice, principles and prejudices ACM Press/Addison-Wesley Publishing Co.. ,(1995)
J. Hartmanis, P. Brinch Hansen, D. Gries, Kathleen Jensen, C. Moler, G. Seegmüller, Niklaus Wirth, N. Wirth, G. Goos, Pascal user manual and report ,(1975)
Mads Tofte, Mads Tofte, Robert Harper, Robin Milner, The Definition of Standard ML ,(1990)
Daniel Jackson, Lightweight Formal Methods formal methods. pp. 1- 1 ,(2001) , 10.1007/3-540-45251-6_1
C B Jones, Systematic software development using VDM Prentice Hall International (UK) Ltd.. ,(1986)
Pamela Zave, Michael Jackson, Conjunction as composition ACM Transactions on Software Engineering and Methodology. ,vol. 2, pp. 379- 411 ,(1993) , 10.1145/158431.158438
Roger Duke, Gordon Rose, Graeme Smith, Object-Z: a specification language advocated for the description of standards Computer Standards & Interfaces. ,vol. 17, pp. 511- 533 ,(1995) , 10.1016/0920-5489(95)00024-O