You are here

Home

Publications

Export 5 results:
Filters: Author is Andrea Baruzzo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
A. Baruzzo and Comini, M., “Checking UML Model Consistency”, Proceedings of CILC 2006 - Convegno Italiano di Logica Computazionale. pp. 1–15, 2006.
A. Baruzzo and Comini, M., “A Methodology for UML Models V&V”, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
A. Baruzzo, “A Unified Framework for Automated UML Model Analysis”, Dipartimento di matematica e Informatica, 2008.
A. Baruzzo and Comini, M., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.
A. Baruzzo and Comini, M., “Toward a Unified Framework for Quality and Consistency Verification of UML Models”. 2007.

created with Drupal | customized by Giovanni Bacci