Références GECCOO

[1] Jean-Raymond Abrial. The B-Book, assigning programs to meaning. Cambridge University Press, 1996. [ bib ]
[2] Site web de l'atelier B. http://www.atelierb.societe.com. [ bib ]
[3] Site web de B Tool. http://www.b-core.com/btool.html. [ bib ]
[4] Ralph-Johan Back, Anna Mikhajlova, and Joakim von Wright. Class refinement as semantics of correct object substitutability. Technical Report 333, Turku Center for Computer Science, 2000. [ bib | www: ]
[5] Ralph-Johan Back and Joakim von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998. [ bib ]
[6] Thomas Ball and Sriram K. Rajamani. Slam, 2002. http://research.microsoft.com/slam. [ bib ]
[7] D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim. Jass - Java with Assertions. In K. Havelund and G. Rosu, editors, Electronic Notes in Computer Science, volume 55(2). Elsevier Science BV, 2001. [ bib ]
[8] Joachim van den Berg and Bart Jacobs. The LOOP compiler for Java and JML. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Software, volume 2031 of LNCS, pages 299-312. Springer-Verlag, 2001. [ bib ]
[9] Richard Bornat. Proving pointer programs in Hoare logic. In R. Backhouse and J. N. Oliveira, editors, Mathematics of Program Construction, 5th International Conference, MPC'2000, volume 1837 of LNCS. Springer-Verlag, 2000. [ bib ]
[10] C. Breunesse, B. Jacobs, and J. van den Berg. Specifying and Verifying a Decimal Representation in Java for Smart Cards. In H. Kirchner and C. Ringeissen, editors, Proc. Int. Conf. on Algebraic Methodology And Software Technology AMAST'2002, number 2422 in LNCS, pages 304-318. Springer-Verlag, 2002. [ bib ]
[11] Martin Büchi and Wolfgang Weck. The greybox approach: When blackbox specifications hide too much. Technical Report 297, Turku Center for Computer Science, August 1999. [ bib | www: ]
[12] ESC/Java home page, 2002. http://research.compaq.com/SRC/esc. [ bib ]
[13] Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company, New York, NY, 1995. [ bib ]
[14] Bart Jacobs and Erik Poll. Coalgebras and monads in the semantics of Java. Theoretical Computer Science, 291:329-349, 2002. [ bib ]
[15] Site web de JML. http://www.jmlspecs.org. [ bib ]
[16] M. Labeth, J. Meyer, P. Müller, and A. Poetzsch-Heffter. Formal Verification of a Doubly Linked List Implementation: A Case Study Using the Jive System. Technical Report 270, Fernuniversität Hagen, 2000. [ bib | http ]
[17] Gary T. Leavens, Albert L. Baker, and Clyde Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06i, Iowa State University, 2000. [ bib ]
[18] Gary T. Leavens, K. Rustan M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, Minneapolis, Minnesota, pages 105-106, 2000. [ bib ]
[19] K.R.M. Leino, G. Nelson, and J.B. Saxe. ESC/Java user's manual. Technical Report SRC 2000-002, Compaq System Research Center, 2000. [ bib ]
[20] The LOOP Team. Loop project. http://www.cs.kun.nl/~bart/LOOP. [ bib | http ]
[21] Farhad Mehta and Tobias Nipkow. Proving pointer programs in higher-order logic. In Automated Deduction - CADE-19, LNCS. Springer-Verlag, 2003. [ bib ]
[22] J. Meyer, P. Müller, and A. Poetzsch-Heffter. The jive system-implementation description. Available from http://www.informatik.fernuni-hagen.de/pi5/publications.html, 2000. [ bib | .html ]
[23] Leonid Mikhajlov. Developing components in the presence of re-entrance. Technical Report 239, Turku Center for Computer Science, February 1999. [ bib | www: ]
[24] J.-F. Monin. Comprendre les méthodes formelles. Collection technique et Scientifique des Télécommunications. Masson, 1996. [ bib ]
[25] Erik Poll, Joachim van den Berg, and Bart Jacobs. Formal specification of the JavaCard API in JML: the APDU class. Computer Networks, 36(4):407-421, 2001. [ bib ]
[26] Arun D. Raghavan and Gary T. Leavens. Desugaring JML method specifications. Technical Report 00-03a, Iowa State University, 2000. [ bib ]
[27] Site web sur B. http://www-lsr.imag.fr/B. [ bib ]
[28] J. M. Spivey. Understanding Z. A specification language and its formal seman tics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988. [ bib ]
[29] Mark Utting. An Object-Oriented Refinement Calculus with Modular Reasoning. PhD thesis, University of New South Wales, Kensington, Australia, 1992. [ bib ]
[30] J.B. Wordsworth. Software Engineering with B. Addison-Wesley, 1996. [ bib ]

This file has been generated by bibtex2html 1.85.