Please use this identifier to cite or link to this item:
Title: Verification of UML/OCL Class Diagrams Using Constraint Programming
Author: Cabot Sagrera, Jordi
Clarisó Viladrosa, Robert  
Riera i Terrén, Daniel
Others: Computer-Aided Software Engineering. GRES-UOC
Issue Date: 2008
Citation: CABOT, J.; CLARISÓ, R.; RIERA, D. (2008). "Verification of UML/OCL Class Diagrams Using Constraint Programming". In: ICST Workshop on Model Driven Engineering, Verification and Validation: Integrating Verification and Validation in MDE (MoDeVVa'2008). Lillehammer. 09 April.
ISBN: 978-0-7695-3388-9
Appears in Collections:Conference lectures

Files in This Item:
File Description SizeFormat 
Cabot_ICSTW08_Verification.pdf364.21 kBAdobe PDFView/Open

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.