UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming

Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera. UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. In Xavier Franch, editor, XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas. pages 385-386, Thomson Editorial, 2007.

Authors

Jordi Cabot

This author has not been identified. It may be one of the following persons: Look up 'Jordi Cabot' in Google

Robert Clarisó

This author has not been identified. Look up 'Robert Clarisó' in Google

Patricia de la Fuente

This author has not been identified. Look up 'Patricia de la Fuente' in Google

Daniel Riera

This author has not been identified. Look up 'Daniel Riera' in Google