Institutional Repository
Institutional Repository Institutional Repository Login  Institutional Repository  
  • UOC Library |
  •  |
  •  |

Home >
Research >
Techonology and Communication >
Computer Science, Technology and Multimedia >
Conference lectures >

Please use this identifier to cite or link to this item:
Title: Verification of UML/OCL Class Diagrams Using Constraint Programming
Authors: Cabot Sagrera, Jordi
Clarisó Viladrosa, Robert
Riera i Terrén, Daniel
Other: Computer-Aided Software Engineering. GRES-UOC
Issue Date: 2008
Type: Conference lecture
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

Add This:


  0 (0 valuations)

Files in This Item:

File Description SizeFormat
Cabot_ICSTW08_Verification.pdf364.21 kBAdobe PDFPreview  Download

Author names in Twitter

Author names in FriendFeed

Recommend this item

SFX Query

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


The library replies
A product of the Universitat Oberta de Catalunya Virtual Library
Legal notice | Cookie policy