Semantics of OCL Operation Specifications

Rolf Hennicker, Alexander Knapp, Hubert Baumeister. Semantics of OCL Operation Specifications. Electronic Notes in Theoretical Computer Science, 102:111-132, 2004. [doi]

Abstract

Abstract is missing.