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
Help
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
Articles
for
Current filters:
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 21-30 of 45 (Search time: 0.003 seconds).
previous
1
2
3
4
5
next
Item hits:
Issue Date
Title
Author(s)
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
2018-05-21
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems
Afzal, Wasif
;
Bruneliere, Hugo
;
Di Ruscio, Davide
;
Sadovykh, Andrey
;
Mazzini, Silvia
;
Cariou, Eric
;
Truscan, Dragos
;
Cabot, Jordi
;
Gómez Llana, Abel
;
Gorroñogoitia, Jesús
;
Pomante, Luigi
;
Smrz, Pavel
;
Università degli Studi dell'Aquila
;
Brno University of Technology
;
Åbo Akademi University
;
Université de Pau et des Pays de l'Adour
;
Mälardalen University
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
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)
2016-10
Community-based software development for MDE tools
Cabot, Jordi
;
Canovas Izquierdo, Javier Luis
;
Cosentino, Valerio
2005-01-02
Computing the Relevant Instances That May Violate an OCL Constraint
Cabot, Jordi
;
Teniente López, Ernest
;
Universitat Oberta de Catalunya (UOC)
;
Universitat Politècnica de Catalunya (UPC)
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)
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)
2010-08-15
Verification and validation of declarative model-to-model transformations through invariants
Cabot, Jordi
;
Clarisó, Robert
;
Lara Jaramillo, Juan de
;
Guerra, Esther
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
Universidad Carlos III de Madrid
;
Universidad Autónoma de Madrid
2021-11-09
User-driven diverse scenario exploration in model finders
Clarisó, Robert
;
Cabot, Jordi
;
Universitat Oberta de Catalunya
Discover
Author
10
Canovas Izquierdo, Javier Luis
7
Clarisó, Robert
5
Cosentino, Valerio
5
Gómez Llana, Abel
5
Lara Jaramillo, Juan de
.
next >
Subject
9
OCL
8
UML
5
model-driven engineering
5
UML (Computer science)
5
UML (Informàtica)
.
next >
Date issued
9
2020 - 2024
27
2010 - 2019
9
2005 - 2009
Type of publication
33
Article
12
info:eu-repo/semantics/submittedV...
9
Conference object
8
info:eu-repo/semantics/acceptedVe...
7
info:eu-repo/semantics/publishedV...
.
next >