Media type: E-Article Title: Algebraic Methodology and Software Technology: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams Contributor: Clavel, Manuel; Egea, Marina Published: Springer Berlin Heidelberg, 2006 Published in: Algebraic Methodology and Software Technology (2006), Seite 368-373 Language: Not determined DOI: 10.1007/11784180_28 ISBN: 9783540356332; 9783540356363 ISSN: 0302-9743; 1611-3349 Origination: Footnote: