You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 8 results:

BibTex

Filters: Author is Andrea Baruzzo [Clear All Filters]

2008

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.

A. Baruzzo, “A Unified Framework for Automated UML Model Analysis”, Dipartimento di matematica e Informatica, 2008.

2007

A. Baruzzo and Comini, M., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.

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., “Toward a Unified Framework for Quality and Consistency Verification of UML Models”. 2007.

2006

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., “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.