Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
The Library Replies
Log in
Log in
Receive email
updates
Edit Profile
Repositori Institucional (O2)
Search
Search:
All the O2
Recerca
Tecnología y comunicación
Informàtica, tecnologia i multimèdia
Congressos UOC
Articles
Capítols o parts de llibres
Conferències
Tesis doctorales (Bioinformatics)
Trabajos de investigación
for
Current filters:
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Type of publication
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-6 of 6 (Search time: 0.003 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2008
Verification of UML/OCL class diagrams using constraint programming
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya
2007
From Declarative to Imperative UML/OCL Operation Specifications
Cabot, Jordi
;
Universitat Oberta de Catalunya
2016-12
CEUR Workshop Proceedings: Preface
Brucker, Achim D.
;
Cabot, Jordi
;
Sánchez-Barbudo Herrera, Adolfo
2009-07-31
A UML/OCL framework for the analysis of fraph transformation rules
Cabot, Jordi
;
Clarisó, Robert
;
Lara Jaramillo, Juan de
;
Guerra, Esther
;
Universitat Oberta de Catalunya (UOC)
;
Universidad Carlos III de Madrid
;
Universidad Autónoma de Madrid
2007-05-14
Transformation Techniques for OCL Constraints
Cabot, Jordi
;
Teniente López, Ernest
;
Universitat Oberta de Catalunya (UOC)
;
Universitat Politècnica de Catalunya (UPC)
2007
Deriving Operation Contracts from UML Class Diagrams
Cabot, Jordi
;
Gómez Seoane, Cristina
;
Universitat Oberta de Catalunya
Discover
Author
2
Clarisó, Robert
1
Brucker, Achim D.
1
Guerra, Esther
1
Gómez Seoane, Cristina
1
Lara Jaramillo, Juan de
.
next >
Subject
6
UML (Computer science)
2
OCL
1
Computer programming
1
domain specific visual languages
1
graph transformation
.
next >
Date issued
1
2016
1
2009
1
2008
3
2007
Type of publication
4
Article
2
info:eu-repo/semantics/acceptedVe...
2
Conference object
1
info:eu-repo/semantics/publishedV...