Validating UML and OCL models in USE by automatic snapshot generation

Martin Gogolla, Jörn Bohling, Mark Richters. Validating UML and OCL models in USE by automatic snapshot generation. Software and Systems Modeling, 4(4):386-398, 2005. [doi]

Authors

Martin Gogolla

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

Jörn Bohling

This author has not been identified. Look up 'Jörn Bohling' in Google

Mark Richters

This author has not been identified. Look up 'Mark Richters' in Google