Publications of
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
An Integrated Object-Oriented and Formal Modeling Environment
In : The Journal of Object-Oriented Programming (JOOP), Vol. 10 N. 7, pp. 25-34, 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
In : 6th International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 03/12/97-17/12/97, -, December 1997.
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Malcom Shroff
Exploring The Semantics of UML Type Structures with Z
In : 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, July 1997.
Brian W. Bates, Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie
Formalizing Fusion Object-Oriented Analysis Models
In : Formal Methods for Open Object-based Distributed Systems, –, Chapman & Hall, London, UK, pp. 47-62, January 1997.
URL : 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
In : Proceedings of the Northern Formal Methods Workshop, Bradford, UK, 23/09/96-24/09/96, -, September 1996.
Maria M. Larrondo-Petrie, Robert B. France, Jean-Michel Bruel
Introducing Formal Specification Techniques into the Undergraduate Software Engineering Curriculum
In : Proceedings of “Exploring Formal Methods in the Computer Science Curriculum” Workshop, New York, USA, 24/07/96-26/07/96, -, July 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
In : Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, 25/03/96-26/03/96, -, March 1996.
Jean-Michel Bruel, Robert B. France, Maria M. Larrondo-Petrie, Brian W. Bates
Guidelines for Formalizing Fusion Object-Oriented Analysis Models
In : Advanced Information Systems Engineering – 8th International Conference, CAiSE’96, Heraklion, Crete, Greece, 20/05/96-24/05/96, Springer-Verlag LNCS 1080, May 1996.