Und Reiner Hahnle

Publication List Details

Period

2007 - 2007

Number

1

Co-Authors

1 (2007)

Thomas Baar, Und Reiner Hahnle

Abstract The main objectives of OCL are to restrict UML models by additional constraints and to clarify the denition of the UML meta model. For certain applications, however, it is crucial for the...