Next:
Bibliography
Up:
Diploma Thesis: Utility Support
Previous:
C. Code Examples
Contents
List of Figures
.
Design of the Java Parser used by the OCL Instrumentation
.
Design for Observing Invariants
.
Design for Observing Methods
Ralf Wiebicke 2005-11-25
