To access the full text documents, please follow this link: http://hdl.handle.net/10609/1407

Verification of UML/OCL Class Diagrams Using Constraint Programming
Cabot Sagrera, Jordi; Clarisó Viladrosa, Robert; Riera i Terrén, Daniel
Computer-Aided Software Engineering. GRES-UOC
2014-05-15
UML (Computer science)
Computer programming
UML (Informàtica)
Programació (Ordinadors)
UML (Informática)
Programación (Ordenadores)
(c) 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.
Conference lecture
         

Show full item record

Related documents

Other documents of the same author

Ameller, David; Franch Gutiérrez, Javier; Cabot Sagrera, Jordi
Franch Gutiérrez, Javier; Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi
Ameller, David; Ayala Martínez, Claudia Patricia; Cabot Sagrera, Jordi; Franch Gutiérrez, Javier
 

Coordination

 

Supporters