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
FuZE: A Fusion/Z Environment
In : Fusion Newsletter, Vol. 4 N. 3, pp. 14-18, July 1996.
URL : http://www.hpl.hp.com/fusion/md\_newsletters.html
BibTeX
Benoit Combemale, Julien De Antoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013) (regular paper)
In : International Workshop on the Globalization of Modeling Languages (GEMOC 2014), Miami, USA, 29/09/14, CEUR-WS : Workshop proceedings, pp. 3-13, September 2013.
Robert B. France, Jean-Michel Bruel
Integrated Graphical Object-Oriented and formal Modeling Techniques
In : Models, Formalisms and Methods for Distributed Object-Oriented Computing, A workshop within ECOOP’97 11th European Conference on Object-Oriented Programming, Jyva, Finland, 09/06/97-13/06/97, -, June 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.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Towards Rigorous Analysis of Fusion Models
In : Proceedings of the Second Northern Formal Methods Workshop, Ilkley, UK, 14/07/97-15/07/97, -, July 1997.
Robert B. France, Jean-Michel Bruel, Gopal K. Raghavan
Taming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
In : Proceedings of the 2nd IEEE High-Assurance Systems Engineering Workshop (HASE’97), Bethesda, Maryland USA, 10/08/97-12/08/97, EEE Computer Society Press, Los Alamitos, CA, August 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, Abdelmalek Benzekri
Real-Time and Safety Critical Systems Specification: a Z-based Specification Environment
In : Proceedings of the ISCA 9th International Conference on Computer Applications in Industry and Engineering (CAiNE’96), Orlando, Florida, 11/12/96-13/12/96, ISCA, Raleigh, N, pp. 44-47, December 1996.
Jean-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.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri
A Z-based Approach to Specifying and Analyzing ComplexSystems
In : Proceedings of the Second IEEE International Conferenceon Engineering of Complex Computer Systems (ICECCS’96), Montreal, Canada, 21/10/96-25/10/96, IEEE Computer Society Press, Los Alamitos, CA, pp. 336-343, October 1996.
Jean-Michel Bruel, Robert B. France, Abdelmalek Benzekri, Yves Raynaud
A Real-Time Specification Environment based on Z and Graphical Object-Oriented Modeling Techniques
In : Proceedings of the IEEE High-Assurance Systems Engineering Workshop (HASE’96), Niagara-on-the-Lake, Canada, 21/10/96-22/10/96, IEEE Computer Society Press, Los Alamitos, CA, October 1996.
Jean-Michel Bruel, Robert B. France, Eduardo B. Fernandez
Formal Specification of a Multimedia Conferencing System
In : OOPSLA’96 — Fifth Workshop on Specifications of Behavioral Semantics, San Jose, CA, 06/10/96-10/10/96, Institute for Information Management, PA, pp. 19-32, October 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.
Jean-Michel Bruel, Robert B. France
A Formal Object-Oriented CASE Tool for the Development of Complex Systems
In : Proceedings of the 7th European Workshop on the Next Generation of CASE Tools (NGCT’96), Crete, Greece, 20/05/96-21/05/96, -, May 1996.
Robert B. France, Jean-Michel Bruel
The Role of Integrated Specification Techniques in Complex System Modeling and Analysis
In : Proceedings of the Workshop on Real-Time Systems Education (RTSE’96), Daytona Beach, Florida, USA, 20/04/96, -, April 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.
Robert B. France, Jean-Michel Bruel
Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets
In : Proceedings of The International Conference on Information Systems Analysis and Synthesis (ISAS’96), Orlando, USA, 22/07/96-26/07/96, -, July 1996.
Jean-Michel Bruel, Robert B. France, Bharat Chintapally, Gopal K. Raghavan
A Tool for Rigorous Analysis of Object Model
In : Proceedings of the 20th Intl. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS’96), Santa Barbara, California, 29/07/96-02/08/96, -, July 1996.