Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction Graduate Texts in Computer Science. Springer-Verlag, 1998.
2. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511–533, 1995.
3. A. Griffiths. An extended semantic foundation for Object-Z. In 1996 Asia-Pacific Software Engineering Conference (APSEC’96), pages 194–207. IEEE Computer Society Press, 1996.
4. A. Griffiths. A semantics for recursive operations in Object-Z. In L. Groves and S. Reeves, editors, Formal Methods Pacific’97 (FMP’97), pages 81–102. Springer-Verlag, 1997.
5. A. Griffiths. A Formal Semantics to Support Modular Reasoning in Object-Z PhD thesis, Software Verification Research Centre, University of Queensland, 1998.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Understanding Object-Z Operations as Generalised Substitutions;Lecture Notes in Computer Science;2004
2. Encoding Object-Z in Isabelle/HOL;ZB 2002:Formal Specification and Development in Z and B;2002
3. A Theory of Generalised Substitutions;ZB 2002:Formal Specification and Development in Z and B;2002
4. Introducing Reference Semantics via Refinement;Formal Methods and Software Engineering;2002