CASE-based rigorous object-oriented modeling

Authors:
J.-M. Bruel;R. B. France;M. M. Larrondo-Petrie;B. Chintapally;G. K. Raghavan
Affiliations:
Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL;Department of Computer Science & Engineering, Florida Atlantic University, Boca Raton, FL
Venue:
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Year:
1996

Citing 3
Cited 3

The Z notation: a reference manual

The Z notation: a reference manual
Object-oriented development: the fusion method

Object-oriented development: the fusion method
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof

Integrated Informal Object-Oriented and Formal Modeling Techniques

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Reasoning with UML Class Diagrams

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Towards rigorous analysis of fusion models: the MIRG experiences

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of a rigorous development environment is needed when developing a complex system, such as real-time and critical systems. Preventing industry from embracing formal method techniques is the lack of industrial strength tools to support formalization and analysis. We are developing an approach and a tool environment for the development of complex systems that integrates a graphical object-oriented technique (Fusion) and a formal method (Z) with analysis tools. The tool, called FuZE (Fusion/Z Environment), has been used successfully to specify and analyze non-trivial systems. This paper describes the specification transformation rules and the extension of the environment to include transformation of design documents such as Object Interaction Graphs.