Integrated Informal Object-Oriented and Formal Modeling Techniques

Authors:
Robert B. France;Jean-Michel Bruel
Affiliations:
-;-
Venue:
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Year:
1997

Citing 3
Cited 0

The Z notation: a reference manual

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

Object-oriented development: the fusion method
CASE-based rigorous object-oriented modeling

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

One approach to making graphical object-oriented methods (OOMs) more precise and amenable to rigorous analysis is to integrate them with suitable formal specification notations. The integration we outline in this paper provides a bridge from the OOM modeling constructs to the formal notation. We used the Z formal notation and its related tools to provide a well-defined model of the system.