A Formal OO Method Inspired by Fusion and Object-Z

Authors:
Klaus Achatz;Wolfram Schulte
Affiliations:
-;-
Venue:
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Year:
1997

Citing 0
Cited 2

A formal approach to object-oriented software engineering

Theoretical Computer Science - Rewriting logic and its applications
Using OCL and UML to Specify System Behavior

Object Modeling with the OCL, The Rationale behind the Object Constraint Language

Quantified Score

Hi-index	0.00

Visualization

Abstract