Publications de
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
An Integrated Object-Oriented and Formal Modeling Environment
Dans : The Journal of Object-Oriented Programming (JOOP), Vol. 10 N. 7, p. 25-34, 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
Dans : 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 03/12/97-17/12/97, -, décembre 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Malcom Shroff
Exploring The Semantics of UML Type Structures with Z
Dans : Proceedings of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, Canterbury, United Kingdom, 21/07/97-23/07/97, Chapman & Hall, London, UK, juillet 1997.
Brian W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
Formalizing Fusion Object-Oriented Analysis Models
Dans : Formal Methods for Open Object-based Distributed Systems, –, Chapman & Hall, London, UK, p. 47-62, janvier 1997.
Accès : http://itp.thomson.com:2345/chaphall/catalogs/srch_isbn?0412797704
BibTeXJean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
CASE-based Rigorous Object-Oriented Modeling
Dans : Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23/09/96-24/09/96, -, septembre 1996.
Maria M. Larrondo-Petrie, Robert B. France, Jean-Michel Bruel
Introducing Formal Specification Techniques into the Undergraduate Software Engineering Curriculum
Dans : Proceedings of “Exploring Formal Methods in the Computer Science Curriculum” Workshop, New York, USA, 24/07/96-26/07/96, -, juillet 1996.
Robert B. France, Maria M. Larrondo-Petrie, Jean-Michel Bruel, Jie. Wu
A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification
Dans : Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, 25/03/96-26/03/96, -, mars 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Brian W. Bates
Guidelines for Formalizing Fusion Object-Oriented Analysis Models
Dans : Advanced Information Systems Engineering – 8th International Conference, CAiSE’96, Heraklion, Crete, Greece, 20/05/96-24/05/96, Springer-Verlag LNCS 1080, mai 1996.