Consistency Checking and Visualization of OCL Constraints

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. Consistency Checking and Visualization of OCL Constraints. In Andy Evans, Stuart Kent, Bran Selic, editors, «UML» 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings. Volume 1939 of Lecture Notes in Computer Science, pages 294-308, Springer, 2000. [doi]

Authors

Paolo Bottoni

This author has not been identified. Look up 'Paolo Bottoni' in Google

Manuel Koch

This author has not been identified. Look up 'Manuel Koch' in Google

Francesco Parisi-Presicce

This author has not been identified. Look up 'Francesco Parisi-Presicce' in Google

Gabriele Taentzer

Identified as Gabriele Taentzer