On combining semiformal and formal object specification techniques

Authors:
Martin Gogolla;Mark Richters
Affiliations:
-;-
Venue:
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Year:
1997

Citing 0
Cited 3

Visualization of Formal Specifications

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Forward engineering and UML: from UML static models to Eiffel code

UML and the unified process
Correct realizations of interface constraints with OCL

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract