[1] B. Meyer, Applying "Design by Contract",in Computer
(IEEE), 25, 10, October 1992, pages 40-51.
[2] B. Meyer, Design by Contract, Technical Report
TR-EI-12/CO, Interactive Software Engineering Inc., 1986.
[3] J.R. Abrial, The B-book: assigning programs to
meanings, Cambridge University Press, 1996.
[4] B. Meyer, Conception et programmation orientées
objets, Éditions Eyrolles, 2000.
[5] B. Meyer, Object Oriented Software Construction,
2nd edition, Prentice Hall, 1997.
[6] B. Meyer, Eiffel : the language, Prentice Hall,
1992.
[7] M.L Potet, and D. Bert, Spécification en B
(support de cours), École des Jeunes Chercheurs en Programmation,
2007, http ://
www-lsr.imag.fr/users/Didier.Bert/Exams/poly-B-2007.pdf.
[8] J.M. Spivey, The Z Notation : a reference Manual,
Prentice-Hall, 1999.
[9] G. Smith, The Object-Z Specification Language,
Kluwer Academic Publishers, 2000.
[10] OMG, UML 2.0 OCL Specification, Mai, 2006.
[11] E. Cario, Object Constraint Language, 2003, http
://www.lirmm.fr/ hu-
chard/Enseignement/IDM/coursOCL20.pdf.
[12] F. Büttner, M. Gogolla, and M. Richters, A
Uml-based Specification Environnement, Science of Computer Programming,
2007, http ://
www.db.informatik.uni-bremen.de/projects/USE/.
[13] B. Demuth, and C. Wilke, Dresden OCL Toolkit, http
://
dresden-ocl.sourceforge.net/.
[14] A.D. Brucker, and B. Wolff, Isabelle/HOL-OCL,
August 2006, http ://
www.brucker.ch/research/hol-ocl/.
[15] M. Bortes, D. Corutiu, C. Botiza, and
A.Cârcu,Object Constraint Language Environement, version 2.0,
1999, http ://
lci.cs.ubbcluj.ro/ocle/index.htm.
[16] J. Melton, and A. R. Simon, Understanding the New SQL :
A Complete Guide, Morgan Kaufmann Publishers, 1994.
[17] J.S. Bowman, S.L. Emerson, and M. Darnovsky, SQL
L'Intro, CampusPress, 2002.
[18] J.B. Warmer, and A.G. Kleppe, The object constraint
language : precise modeling with UML, Addison Wesley Longman, 1999.
[19] J.-R. Abrial, Étude de cas : Le contrôle
d'accès aux bâtiments, http ://
wwwlsr.imag.fr/B/Documents/ClearSy-CaseStudies/PORTES/SourcesFR/main.html,
June 2000.
[20] G. Booch, J. Rumbaugh, and I. Jacobson, The Unified
Modelling Language User Guide, Addison Wesley, 1999.
[21] C. Metayer, J-R Abrial, and L.Voisin, Event-B
language, RODIN Project Deliverable D7, May 2005.
