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: http://hdl.handle.net/10609/1407
Title: Verification of UML/OCL Class Diagrams Using Constraint Programming
Autor: Cabot Sagrera, Jordi
Clarisó Viladrosa, Robert
Riera i Terrén, Daniel
Otros: Computer-Aided Software Engineering. GRES-UOC
Issue Date: 2008
Type: Conferencia
Citación: 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.
URI: http://hdl.handle.net/10609/1407
ISBN: 978-0-7695-3388-9
Access rights: (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.
Appears in Collections:Conference lectures


Add This:

RefWorks:

Ratings:
  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