Modeling and validating Mondex scenarios described in UML and OCL with USE

Mirco Kuhlmann, Martin Gogolla. Modeling and validating Mondex scenarios described in UML and OCL with USE. Formal Asp. Comput., 20(1):79-100, 2008. [doi]

Authors

Mirco Kuhlmann

This author has not been identified. Look up 'Mirco Kuhlmann' in Google

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google