Publicaciones
Ingeniería del software. GRES-UOC.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
05/11/2007
[
Capítulos de libros]
Descripción
UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming
Investigadores