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]

No reviews for this publication, yet.