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
Articles cientÍfics
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.004 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2017-06-20
On the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development
Gómez Llana, Abel
;
Mendialdua, Xabier
;
Bergmann, Gábor
;
Cabot, Jordi
;
Debreceni, Csaba
;
Garmendia, Antonio
;
Kolovos, Dimitrios S.
;
Lara Jaramillo, Juan de
;
Trujillo, Salvador
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
IK4-IKERLAN
;
Budapest University of Technology and Economics
;
Universidad Autónoma de Madrid
;
University of York
2017-03-22
Traceability mappings as a fundamental instrument in model transformations
Diskin, Zinovy
;
Gómez Llana, Abel
;
Cabot, Jordi
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
McMaster University
2007-01-02
Tool Support for Model Checking of Web application designs
Brambilla, Marco
;
Cabot, Jordi
;
Moreno Vergara, Nathalie
;
Universitat Oberta de Catalunya (UOC)
;
Universidad de Málaga
;
Politecnico di Milano
2010-01-02
Synthesis of OCL Pre-conditions for Graph 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
2009-01-02
Verifying UML/OCL operation contracts
Cabot, Jordi
;
Clarisó, Robert
;
Riera Terrén, Daniel
;
Universitat Oberta de Catalunya (UOC)
2006-01-02
Incremental Evaluation of OCL Constraints
Cabot, Jordi
;
Teniente López, Ernest
;
Universitat Oberta de Catalunya (UOC)
;
Universitat Politècnica de Catalunya (UPC)
Discover
Author
2
Clarisó, Robert
2
Gómez Llana, Abel
2
Lara Jaramillo, Juan de
1
Bergmann, Gábor
1
Brambilla, Marco
.
next >
Subject
1
disjoint union
1
enginyeria basada en models
1
Enginyeria de programari
1
enlace de trazabilidad
1
enllaç de traçabilitat
.
< previous
next >
Date issued
3
2010 - 2017
3
2006 - 2009