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]

Abstract

Abstract is missing.