Selected Publications on Rigorous Object-Oriented Modeling and Structured Techniques

1999-2000

• A Problem-Oriented Analysis of Basic UML Static Modeling Concepts
  Robert France
  In the proceedings of OOPSLA'99, ACM SIGPLAN Notices, vol. 34, no. 10, October 1999.
  Postscript file

• Towards Formal Reasoning with UML Models
  Andy Evans, Robert France, Emanuel Grant
  In Proceedings of the OOPSLA'99 Workshop on Behavioral Semantics, 1999.
  Postscript file

• Generating Test Cases from an OO Model with an AI Planning System
  Michael Scheetz, Anneliese von Mayrhauser, Robert France, Eric Dahlman, and Adele E. Howe
  in the proceedings of ISSRE'99, IEEE-Press, 1999.

• An Industrial Application of an Integrated UML and SDL Modeling Technique
  Robert B. France, Maha Boughdadi, Robert Busser
  in proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC'99), IEEE-Press, 1999.
  Postscript file

• Meta-Modelling Semantics of UML
  Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
  In book: Advances in Formalizing the Semantics of UML, Kluwer, 1999.

1997-1998

• Incorporating a Formal Design Technique in an Industrial Setting
  Robert B. France, Robert Busser, Maha Boughdadi
  in Proceedings of The Ninth International Symposium on Software Reliability Engineering (ISSRE98), IEEE Press.
  (Extended version) Postscript file

• Transforming UML models to formal specifications
  Jean-Michel Bruel, Robert B. France
  In Proceedings of the OOPSLA'98 Workshop on Formalizing UML: Why? How?.
  Postscript file

• The UML as a Formal Modeling Notation
  Robert France, Andy Evans, Kevin Lano, Bernhard Rumpe (the pUML group)
  Computer Standards and Interfaces: Special Issues on Formal Development Techniques, 1998.

• Applying Fusion/UML to the Invoicing Problem
  Robert B. France and Jean-Michel Bruel
  FAU-TR (edited version appears in the Proceedings of the Int. Workshop on: Comparing Systems Specification Techniques, Nantes, France eds. Michel Allemand, Chritian Attiogbe and Henri Habrias, Institut de Recherche en Informatique de Nantes, ISBN = 2-906082-29-5, 1998)
  Compressed Postscript file

• A Characterization of Aggregation
  Monika Saksena, Robert B. France, Maria M. Larrondo-Petrie, in Proceedings of the 5th International Conference on Object-Oriented Information Systems (OOIS'98), September 1998. Edited version printed in the International Journal of Computer Systems Science \& Engineering.
  postscript file

• Extending the Notion of Aggregation in UML
  Monika Saksena, Maria Larrondo-Petrie, Robert France, Matthew Evett, in the proceedings of the UML'98 International Workshop, Mulhouse, France, 3rd-4th June 1998.
  postscript file

• Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
  Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emmanuel Grant
  in the Proceedings of the 6th International AMAST Conference, December 1997
  Postscript file

• Towards Rigorous Analysis of Fusion Models: The MIRG Experience
  Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
  FAU-TR (revised version appears in Proceedings of the 2nd Northern Formal Methods Workshop)
  Compressed PostScript file

• Towards a Rigorous Object-Oriented Analysis and Design Method
  Robert B. France, Jean-Michel Bruel, Monika Saksena, Emanuel Grant, and Maria M. Larrondo-Petrie
  in the Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97), 1997.
  Postscript file

• Exploring the Semantics of UML Type Structures with Z
  Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, and Malcolm Shroff
  in the Proceedings of the Formal Methods for Open Object-based Distributed Systems (FMOODS'97), 1997

• Towards a Formalization of UML Class Structures in Z
  M. Shroff and R. B. France.
  TR-CSE-97-4 (also appears in COMPSAC'97)
  Compressed PostScript file (21 pgs.)

• Using Integrated and Formal Modeling Techniques To Analyze Software Requirements: A Case Study
  R. B. France and J.-M. Bruel
  TR-CSE-97-3
  Compressed Postscript file

• Towards a Formal Semantic Base for the Type Models of the Unified Modeling Language Maria M. Larrondo-Petrie, Robert B. France, Monika Saskena, and Malcolm Shroff
  in the Proceedings of Formal Methods Pacific (FMP'97), 1997

• Taming the Octopus: Using formal models to integrate the Octopus object oriented analysis models
  Robert B. France, Jean-Michel Bruel, and Gopal Raghavan
  in Proceedings of the 2nd IEEE High-Assurance Systems Engineering Workshop (HASE'97), 1997

• Comparison of Fusion and Syntropy
  Kevin Lano, Robert B. France, and Jean-Michel Bruel
  to be published in Object-Oriented Systems, 1997

1995-1996

• Formalizing Fusion Object Oriented Analysis Models
  B. W. Bates, J.-M. Bruel, R. B. France, and M. M. Larrondo-Petrie.
  In Proceedings of the First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS'96), Paris, France, March 4-6 1996.

• A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification,
  Robert France, Jie Wu, Maria Larrondo-Petrie and Jean-Michel Bruel.
  In Proceedings of the BCS FACS Methods Integration Workshop, Leeds, UK, March 25-26, 1996.
  Compressed PostScript file (18p.)

• Guidelines for Formalizing Fusion Object Oriented Analysis Models
  B. W. Bates, J.-M. Bruel, R. B. France, and M. M. Larrondo-Petrie.
  In Proceedings of CAISE, Crete, Greece, 20-24 May, 1996.

• FuZE--Draft of the User's Guide
  J.-M. Bruel, Bharat Chintapally, R. B. France, Gopal Raghavan and M. M. Larrondo-Petrie.
  FAU Technical Report TR-CSE-96-9, Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
  Compressed PostScript file (35p.)

• The Role of Integrated Specification Techniques in Complex System Modeling and Analysis
  R. B. France, J.-M. Bruel.
  In Proceedings of the Workshop on Real-Time Systems Education, Daytona Beach, Florida, USA. IEEE Computer Society Press. April 1996.
  Compressed PostScript file (9p.)

• A Formal Object-Oriented CASE Tool for the Development of Complex Systems
  J.-M. Bruel and R. B. France,
  In Proceedings of the 7th European Workshop on Next Generation of Case Tools (NGCT'96), Crete, Greece, 20--21 May 1996.
  compressed PostScript file (11p.)

• Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets
  R. B. France, J.-M. Bruel.
  In Proceedings of the International Conference on Information Systems Analysis and Synthesis (ISAS'96), Orlando, USA, July 23-26, 1996.
  compressed PostScript file (11p.)

• A Tool for Rigorous Analysis of Object Models
  J.-M. Bruel, R. B. France, Bahrat Chintapally, and Gopal Raghavan.
  In Proceedings of the 20th International Conference on Technology of Oject-Oriented Languages and Systems (TOOLS), Santa Barbara, California, July 29 -- August 2, 1996.
  Compressed PostScript file (19p.)

• FuZE: A Fusion/Z Environment
  R. B. France and J.-M. Bruel.
  Fusion Newsletter, 4(3), July 1996. Invited paper.
  Compressed PostScript file (6p.)

• An Integrated Object-Oriented and Formal Modeling Environment
  R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie.
  in the Journal of Object-Oriented Programming (JOOP), Nov/Dec 1997, Vol. 10, No. 7.

• Formal Analysis of Information Systems using an Integrated Approach based on Extended Petri Nets
  R. B. France, J.-M. Bruel.
  In Proceedings of the International Conference on Information Systems Analysis and Synthesis (ISAS'96), Orlando, USA, 22--26 July 1996.

• CASE-based Rigorous Object-Oriented Modeling
  J.-M. Bruel, R. B. France, M. M. Larrondo-Petrie, Gopal Raghavan, and Bharat Chintapally.
  in Proceedings of the Northern Formal Methods Workshop (NFMW'96), University of Bradford, U.K., 23--24 September, 1996.

• A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification,
  Robert B. France, Jie Wu, Maria M. Larrondo-Petrie and Jean-Michel Bruel.
  FAU Technical Report TR-CSE-95-41, Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
  Compressed PostScript file (17p.)

• Formalizing Fusion Object-Oriented Models
  B. W. Bates, J.-M. Bruel, R. B. France, and M. M. Larrondo-Petrie.
  FAU Technical Report TR-CSE-95-44, Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL-33431, USA.
  PostScript file (17p.)

1994-1995

• From Structured Analysis to Formal Specifications: State of the Theory
  R. B. France, M. M. Larrondo-Petrie.
  In Proceedings of the ACM Computer Science Conference, 1994.

• Towards Systematic Formalization of Informal requirements Specifications: A Case Study on the Vending Machine Problem
  R. B. France, Jie Wu.
  In Proceedings of the ISCA International Conference on Computer Applications in Industry and Engineering, ISCA, 1994.

• Understanding the Role of Formal Specification Techniques in Requirements Engineering
  R. B. France, M. M. Larrondo-Petrie.
  In Proceedings of the Conference on Software Engineering Education'95, Springer-Verlag, 1995.

• A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
  R. B. France, M. M. Larrondo-Petrie.
  In Proceedings of the Z Users Meeting'95, Springer-Verlag, 1995.