USE: A UML-based specification environment for validating UML and OCL

Martin Gogolla, Fabian Büttner, Mark Richters. USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming, 69(1-3):27-34, 2007. [doi]

Abstract

Abstract is missing.