You are here

Publications

Export 8 results:
Filters: Author is Andrea Baruzzo  [Clear All Filters]
Conference Proceedings
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.
D. Ballis, Baruzzo, A., and Comini, M., A Minimalist Visual Notation for Design Patterns and Antipatterns, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
D. Ballis, Baruzzo, A., and Comini, M., A rule-based method to match Software Patterns against UML Models, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
A. Baruzzo and Comini, M., Static Verification of UML Model Consistency, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
Thesis
A. Baruzzo, A Unified Framework for Automated UML Model Analysis, Dipartimento di matematica e Informatica, 2008.