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

• Autores: Jordi Cabot, Robert Clarisó Viladrosa, Patricia de la Fuente, Daniel Riera i Terrén
• Localización: Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.) , 2007, ISBN 978-84-9732-595-0, págs. 385-386
• Idioma: español
• Texto completo no disponible (Saber más ...)