You are here

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.