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]
No references recorded for this publication.
No citations of this publication recorded.