References

1. J.R. Abrial, D. Cansell & D. Méry (2005): Refinement and Reachability in Event\voidb@x 0.06emwidth0.5emB. In: ZB2005, LNCS 3455. Springer, pp. 222–241, doi:10.1007/11415787\voidb@x 0.06emwidth0.5em14.
2. N. Amálio (2007): Generative frameworks for rigorous model-driven development. Dept. Computer Science, Univ. of York.
3. N. Amálio, C. Glodt & P. Kelsen (2011): Building VCL models and automatically generating Z specifications from them. In: FM 2011, LNCS 6664. Springer, pp. 149–153, doi:10.1007/978-3-642-21437-0\voidb@x 0.06emwidth0.5em13.
4. N. Amálio & P. Kelsen (2010): Modular Design by Contract Visually and Formally using VCL. In: VL/HCC 2010. IEEE, pp. 227–234, doi:10.1109/VLHCC.2010.39.
5. N. Amálio, P. Kelsen, Q. Ma & C. Glodt (2010): Using VCL as an Aspect-Oriented Approach to Requirements Modelling. TAOSD VII, pp. 151–199, doi:10.1007/978-3-642-16086-8\voidb@x 0.06emwidth0.5em5.
6. N. Amálio, F. Polack & S. Stepney (2005): An Object-Oriented Structuring for Z based on Views. In: ZB 2005, LNCS 3455. Springer, pp. 262–278, doi:10.1007/11415787\voidb@x 0.06emwidth0.5em16.
7. N. Amálio, F. Polack & S. Stepney (2006): UML+Z: Augmenting UML with Z. In: H. Abrias & M. Frappier: Software Specification Methods. ISTE, doi:10.1002/9780470612514.ch5.
8. R. Banach & M. Poppleton (1998): Retrenchment: An engineering variation on refinement. In: B'98, LNCS 1393. Springer, pp. 129–147, doi:10.1007/BFb0053358.
9. R. Banach, M. Poppleton, C. Jeske & S. Stepney (2007): Engineering and theoretical underpinnings of retrenchment. Science of Computer Programming 67(2–3), pp. 301–329, doi:10.1016/j.scico.2007.04.002.
10. L. Cardelli (1988): A semantics of multiple inheritance. Information and Computation 76, pp. 138–164, doi:10.1016/0890-5401(88)90007-7.
11. J. Derrick & E. Boiten (2001): Refinement in Z and Object-Z: foundations and advanced applications. Springer.
12. C. Fischer & H. Wehrheim (2000): Behavioural subtyping relations for object-oriented formalisms. In: AMAST 2000, LNCS 1816. Springer, pp. 469–483, doi:10.1007/3-540-45499-3\voidb@x 0.06emwidth0.5em33.
13. A. Hall (1990): Using Z as a Specification Calculus for Object-Oriented Systems. In: A. Hoare, D. Bjørner & H. Langmaack: VDM '90, LNCS 428. Springer, pp. 290–318, doi:10.1007/3-540-52513-0\voidb@x 0.06emwidth0.5em16.
14. A. Hall (1994): Specifying and Interpreting Class Hierarchies in Z. In: Z User Workshop, Workshops in Computing. Springer, pp. 120–138, doi:10.1007/978-1-4471-3452-7\voidb@x 0.06emwidth0.5em8.
15. J. He, A. Hoare & J.W. Sanders (1986): Data Refinement Refined. In: ESOP'86, LNCS 213. Springer, pp. 187–196, doi:10.1007/3-540-16442-1\voidb@x 0.06emwidth0.5em14.
16. A. Hoare (1972): Proof of Correctness of data representations. Acta Informatica 1(1), pp. 271–281, doi:10.1007/BF00289507.
17. D. Jackson (2006): Software Abstractions: logic, lanaguage, and analysis. MIT Press.
18. B. Liskov & J. Wing (1994): A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6), pp. 1811–1841, doi:10.1145/197320.197383.
19. P.J. Lupton (1990): Promoting forward simulation. In: Z User Workshop. Springer, pp. 27–49.
20. B. Meyer (1997): Object-Oriented Software Construction. Prentice-Hall.
21. G.P. Smith (2000): The Object-Z Specification Language. Kluwer Academic Publishers, doi:10.1007/978-1-4615-5265-9.
22. S. Stepney, F. Polack & I. Toyn (2003): Patterns to Guide Practical Refactoring: examples targetting promotion in Z. In: ZB 2003, LNCS 2651. Springer, pp. 20–39, doi:10.1007/3-540-44880-2\voidb@x 0.06emwidth0.5em3.
23. H. Wehrheim (2000): Behavioral Subtyping and property preservation. In: S.F. Smith & C.L. Talcott: FMOODS 2000. Kluwer, pp. 213–231, doi:10.1007/978-0-387-35520-7\voidb@x 0.06emwidth0.5em11.
24. J. Woodcock & J. Davies (1996): Using Z: Specification, Refinement, and Proof. Prentice-Hall.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org