| 2009 |
|---|
| 30 | EE | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
Verifying UML/OCL Operation Contracts.
IFM 2009: 40-55 |
| 2008 |
|---|
| 29 | EE | Jordi Cabot,
Robert Clarisó,
Esther Guerra,
Juan de Lara:
Analysing Graph Transformation Rules through OCL.
ICMT 2008: 229-244 |
| 28 | EE | Jordi Cabot,
Francisco Durán,
Nathalie Moreno,
Antonio Vallecillo,
José Raúl Romero:
From programming to modeling: our experience with a distributed software engineering course.
ICSE 2008: 749-758 |
| 27 | EE | Jordi Cabot,
Cristina Gómez:
A Catalogue of Refactorings for Navigation Models.
ICWE 2008: 75-85 |
| 26 | EE | Jordi Cabot,
Robert Clarisó,
Esther Guerra,
Juan de Lara:
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.
MoDELS 2008: 37-52 |
| 25 | EE | Jordi Cabot,
Martin Gogolla,
Pieter Van Gorp:
Eighth International Workshop on OCL Concepts and Tools.
MoDELS Workshops 2008: 257-262 |
| 24 | EE | Raquel Pau,
Jordi Cabot:
Paraphrasing OCL Expressions with SBVR.
NLDB 2008: 311-316 |
| 2007 |
|---|
| 23 | EE | Jordi Cabot,
Robert Clarisó,
Daniel Riera:
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.
ASE 2007: 547-548 |
| 22 | EE | Jordi Cabot:
From Declarative to Imperative UML/OCL Operation Specifications.
ER 2007: 198-213 |
| 21 | EE | Marco Brambilla,
Jordi Cabot,
Nathalie Moreno:
Tool Support for Model Checking of Web Application Designs.
ICWE 2007: 533-538 |
| 20 | EE | Jordi Cabot,
Jordi Ceballos,
Cristina Gómez:
On the Quality of Navigation Models with Content-Modification Operations.
ICWE 2007: 59-73 |
| 19 | EE | Jordi Cabot,
Cristina Gómez:
Deriving Operation Contracts from UML Class Diagrams.
MoDELS 2007: 196-210 |
| 18 | EE | Marco Brambilla,
Jordi Cabot,
Sara Comai:
Automatic Generation of Workflow-Extended Domain Models.
MoDELS 2007: 375-389 |
| 17 | | Marco Brambilla,
Jordi Cabot,
Sara Comai:
Generating Extended Conceptual Schemas from Business Process Models.
SEBD 2007: 282-289 |
| 16 | EE | Jordi Cabot,
Ernest Teniente:
Transformation techniques for OCL constraints.
Sci. Comput. Program. 68(3): 179-195 (2007) |
| 2006 |
|---|
| 15 | EE | Jordi Cabot,
Ernest Teniente:
Incremental Evaluation of OCL Constraints.
CAiSE 2006: 81-95 |
| 14 | EE | Jordi Cabot,
Ernest Teniente:
Constraint Support in MDA Tools: A Survey.
ECMDA-FA 2006: 256-267 |
| 13 | EE | Marco Brambilla,
Jordi Cabot:
Constraint tuning and management for web applications.
ICWE 2006: 345-352 |
| 12 | EE | Jordi Cabot,
Ernest Teniente:
Transforming OCL constraints: a context change approach.
SAC 2006: 1196-1201 |
| 11 | EE | Jordi Cabot,
Ruth Raventós:
Conceptual Modelling Patterns for Roles.
J. Data Semantics V: 158-184 (2006) |
| 2005 |
|---|
| 10 | EE | Jordi Cabot,
Ernest Teniente:
Computing the Relevant Instances That May Violate an OCL Constraint.
CAiSE 2005: 48-62 |
| 9 | EE | Jordi Cabot,
Ernest Teniente:
Generación Automática de Restricciones de Integridad: Estado del Arte.
DSDM 2005 |
| 2004 |
|---|
| 8 | EE | Jordi Cabot,
Ruth Raventós:
Roles as Entity Types: A Conceptual Modelling Pattern.
ER 2004: 69-82 |
| 7 | EE | Jordi Cabot,
Jordi Conesa:
Automatic Integrity Constraint Evolution due to Model Subtract Operations.
ER (Workshops) 2004: 350-362 |
| 6 | EE | Jordi Cabot,
Ernest Teniente:
Determining the Structural Events That May Violate an Integrity Constraint.
UML 2004: 320-334 |
| 5 | EE | Marcus Alanen,
Jordi Cabot,
Miguel Goulão,
José Sáez:
Doctoral Symposium.
UML Satellite Activities 2004: 85-93 |
| 2003 |
|---|
| 4 | EE | Jordi Cabot,
Antoni Olivé,
Ernest Teniente:
Entity Types Derived by Symbol-Generating Rules.
ER 2003: 376-389 |
| 3 | | Jordi Cabot:
La relación de materialización en UML.
JISBD 2003: 177-186 |
| 2 | | Ruth Raventós,
Jordi Cabot:
A Conceptual Modelling Pattern for Roles.
JISBD 2003: 421-430 |
| 1 | EE | Jordi Cabot,
Antoni Olivé,
Ernest Teniente:
Representing Temporal Information in UML.
UML 2003: 44-59 |
