Specification in OOZE with examples

Authors:
Antonio J. Alencar;Joseph A. Goguen
Affiliations:
-;-
Venue:
Object-oriented specification case studies
Year:
1994

Citing 0
Cited 3

A Theory-Based Representation for Object-Oriented Domain Models

IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications

IEEE Transactions on Software Engineering
A Framework for Order-Sorted Algebra

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract