Practical verification strategy for refinement conditions in UML models

This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state sp...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pons, Claudia, García, Diego
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Verification
Language models
UML models
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24040
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares