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]

Authors

Rolf Hennicker

This author has not been identified. Look up 'Rolf Hennicker' in Google

Alexander Knapp

This author has not been identified. Look up 'Alexander Knapp' in Google

Hubert Baumeister

This author has not been identified. Look up 'Hubert Baumeister' in Google