| 2008 |
|---|
| 12 | EE | Artur Boronat,
José Meseguer:
An Algebraic Semantics for MOF.
FASE 2008: 377-391 |
| 2007 |
|---|
| 11 | EE | Artur Boronat,
José A. Carsí,
Isidro Ramos,
Patricio Letelier:
Formal Model Merging Applied to Class Diagram Integration.
Electr. Notes Theor. Comput. Sci. 166: 5-26 (2007) |
| 2006 |
|---|
| 10 | EE | Artur Boronat,
Joaquín Oriente,
Abel Gómez,
Isidro Ramos,
José A. Carsí:
An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.
ECMDA-FA 2006: 316-330 |
| 9 | EE | Artur Boronat,
José A. Carsí,
Isidro Ramos:
Algebraic Specification of a Model Transformation Engine.
FASE 2006: 262-277 |
| 8 | | Abel Gómez,
Artur Boronat,
Luis Hoyos,
José A. Carsí,
Isidro Ramos:
Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos.
JISBD 2006: 215-224 |
| 2005 |
|---|
| 7 | EE | Artur Boronat,
José A. Carsí,
Isidro Ramos:
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine.
CSMR 2005: 228-231 |
| 6 | EE | Artur Boronat,
José A. Carsí,
Isidro Ramos:
Automatic Support for Traceability in a Generic Model Management Framework.
ECMDA-FA 2005: 316-330 |
| 5 | | Artur Boronat,
José Iborra,
José A. Carsí,
Isidro Ramos,
Abel Gómez:
Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework.
JISBD 2005: 253-258 |
| 4 | EE | Artur Boronat,
José A. Carsí,
Isidro Ramos:
An Algebraic Baseline for Automatic Transformations in MDA.
Electr. Notes Theor. Comput. Sci. 127(3): 31-47 (2005) |
| 2004 |
|---|
| 3 | EE | Artur Boronat,
Isidro Ramos,
José A. Carsí:
Automatic Model Generation in Model Management.
CIT 2004: 326-335 |
| 2 | EE | Artur Boronat,
Jennifer Pérez,
José A. Carsí,
Isidro Ramos:
Two Experiences in Software Dynamics.
J. UCS 10(4): 428-453 (2004) |
| 2003 |
|---|
| 1 | | Artur Boronat,
José A. Carsí,
Isidro Ramos:
Una plataforma semántica para la gestión de modelos.
JISBD 2003: 167-176 |
