@proceedings {BaruzzoC07c,
	title = {A Methodology for UML Models V\&V},
	journal = {Proceedings of First International Conference on Software Testing, Verification, and Validation},
	year = {2008},
	pages = {513{\textendash}516},
	publisher = {IEEE Computer Society},
	abstract = {The introduction of UML models in the software life cycle poses new issues and challenges that are not adequately supported by current state-of-the-art development tools, es- pecially concerning V\&V activities. Indeed, every tool usually focuses on a small set of specialized activities, failing to provide a satisfactory (general purpose) V\&V framework.
In this paper we propose a methodology which allows a seamless integration of V\&V into a UML-based development environment. The methodology exploits a set of sup- porting tools designed to be integrated in a unified frame- work. We believe that such proactive collaboration between tools can reduce significantly both effort and time required to tackle consistency, correctness, quality and long-term maintainability of UML models, increasing the development productivity and the overall quality of the delivered system.},
	isbn = {978-0-7695-3127-4},
	author = {Andrea Baruzzo and Marco Comini}
}
