Validation of UML and OCL Models by Automatic Snapshot Generation

Martin Gogolla, Jörn Bohling, Mark Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 265-279, Springer, 2003. [doi]

Authors

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google

Jörn Bohling

This author has not been identified. Look up 'Jörn Bohling' in Google

Mark Richters

This author has not been identified. Look up 'Mark Richters' in Google