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

By Martin Gogolla, Fabian Büttner, Mark Richters. Science of Computer Programming, 2007

513 citations recorded by the source corpus.