Investigadores
Publicaciones de Jordi Cabot Sagrera
Artículos de revistas
-
CABOT, J. (2008). " Paraphrasing OCL expressions with SBVR ". Lecture Notes in Computer Science. ISSN: 03029743.
-
CABOT, J. (2007). " From Declarative to Imperative UML/OCL Operation Specifications ". Lecture Notes in Computer Science. Núm. 4801. Pág. 198- 213. ISSN: 03029743.
-
CABOT, J.; GÓMEZ, C. (2007). " Deriving Operation Contracts from UML Class Diagrams ". Lecture Notes in Computer Science. Núm. 4735. Pág. 196- 210. ISSN: 03029743.
-
BRAMBILLA, M.; CABOT, J.; COMAI, S. (2007). " Automatic Generation of Workflow-extended Domain Models ". Lecture Notes in Computer Science. Núm. 4735. Pág. 375- 389. ISSN: 03029743.
-
CABOT, J.; TENIENTE, E. (2007). " Transformation Techniques for OCL Constraints ". Science of Computer Programming. Núm. 68(3). Pág. 152- 168. ISSN: 01676423.
-
CABOT, J.; GÓMEZ, C. (2007). " On the Quality of Navigation Models with Content-Modification Operations ". Lecture Notes in Computer Science. Núm. 4607. Pág. 59- 73. ISSN: 03029743.
-
BRAMBILLA, M.; CABOT, J.; MORENO, N. (2007). " Tool Support for Model Checking of Web application designs ". Lecture Notes in Computer Science. Núm. 4607. Pág. 533- 538. ISSN: 03029743.
-
CABOT, J.; TENIENTE, E. (2006). " Constraint Support in MDA tools: a Survey ". Lecture Notes in Computer Science. Núm. 4066. Pág. 256- 263. ISSN: 03029743.
-
CABOT, J.; TENIENTE, E. (2006). " Incremental Evaluation of OCL Constraints ". Lecture Notes in Computer Science. Núm. 4001. Pág. 81- 95. ISSN: 03029743.
-
CABOT, J.; RAVENTÓS, R. (2006). " Conceptual Modelling Patterns for Roles ". Journal on Data Semantic. Núm. 5. Pág. 158- 184.
-
CABOT, J.; TENIENTE, E. (2005). " Computing the Relevant Instances That May Violate an OCL Constraint ". Lecture Notes in Computer Science. Núm. 3520. Pág. 48- 62. ISSN: 03029743.
-
CABOT, J.; RAVENTÓS, R. (2004). " Roles as Entity Types: A Conceptual Modelling Pattern ". Lecture Notes in Computer Science. Núm. 3288. Pág. 69- 82. ISSN: 03029743.
-
CABOT, J.; CONESA, J. (2004). " Automatic Integrity Constraint Evolution due to Model Subtract Operations ". Lecture Notes in Computer Science. Núm. 3289. Pág. 350- 362. ISSN: 03029743.
-
CABOT, J.; TENIENTE, E. (2004). " Determining the Structural Events That May Violate an Integrity Constraint ". Lecture Notes in Computer Science. Núm. 3273. Pág. 320- 334. ISSN: 03029743.
-
CABOT, J.; OLIVÉ, A.; TENIENTE, E. (2003). " Representing Temporal Information in UML ". Lecture Notes in Computer Science. Núm. 2863. Pág. 44- 59. ISSN: 03029743.
-
CABOT, J.; TENIENTE, E.; OLIVÉ, A. (2003). " Entity Types Derived by Symbol-Generating Rules ". Lecture Notes in Computer Science. Núm. 2813. Pág. 376- 389. ISSN: 03029743.
-
CABOT, J. (2002). " El modelo objeto-relacional del SQL : 1999 (II) ". Sólo programadores. Núm. 96. Pág. 48- 54. ISSN: 1134-4792.
-
CABOT, J. (2002). " El modelo relacional del SQL-99 (y III) ". Sólo programadores. Núm. 97. Pág. 44- 49. ISSN: 1134-4792.
-
CABOT, J. (2002). " El modelo objeto-relacional de SQL : 1999 (I) ". Sólo programadores. Núm. 95. Pág. 54- 57. ISSN: 1134-4792.
Libros y monografías
-
CABOT, J.; VALLECILLO, A.; CAMPS, J. M.; CEBALLOS, J.; MORENO, N.; ROMERO, R.; DURÁN, F. (2006). Enginyeria del Programari de Components i Sistemes Distribuïts. Editorial UOC . ISBN: 978-84-690-4810-8.
-
CABOT, J.; GUITART, I.; PRADEL, J.; RAYA, J. A.; FERNÁNDEZ, J. (2005). Enginyeria del programari orientat a l'objecte . Editorial UOC . ISBN: 84-9788-311-X.
Capítulos de libros
-
CLARISÓ, R.; CABOT, J. (2008). " Proceedings International Conference on Model Transformation: Theory and Practice of Model Transformations International ". Analysing Graph Transformation Rules Using OCL. Pág. 225- 239.
-
CABOT, J.; CLARISÓ, R.; RIERA, D. (2007). " UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming ". En: EGYED, A.; FISCHER, B.; STIREWALT, K. Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering. Pág. 547- 548. ISBN: 978-1-59593-882-4.
-
CABOT, J.; CLARISÓ, R.; DE, P.; RIERA, D. (2007). " UMLtoCSP: Una herramienta para la verificación de modelos mediante Constraint Programming ". En: FRANCH, X. Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD'2007) . Zaragoza: Thomson. Pág. 385- 386. ISBN: 978-84-9732-595-0.
-
BRAMBILLA, M.; CABOT, J.; COMAI, S. (2007). " Generating Extended Conceptual Schemas from Business Process Models ". Proceedings of the 15th Italian Symposium on Advanced Database Systems . Pág. 282- 289.
-
OLIVÉ, A.; CABOT, J. (2007). " A Research Agenda for Conceptual Schema-Centric Development ". En: OPDAHL, A.; KROGSTIE, J.; BRINKKEMPER, S. Conceptual modeling in Information Systems Engineering: From Database Systems to Ubiquitous Environments and Beyond . Springer . Pág. 319- 334. ISBN: 978-3-540-72676-0.
-
GUITART, I.; RODRÍGUEZ, M. E.; CABOT, J.; SERRA, M. (2006). " Elección del modelo de evaluación: caso práctico para asignaturas de inegniería del software ". XII Jornadas de Enseñanza Universitaria de la Informática (Jenui'06). Pág. 191- 199. ISBN: 84-9732-545-1.
-
BRAMBILLA, M.; CABOT, J. (2006). " Constraint tuning and management for web applications ". Proceedings de l'International Conference on Web Engineering 2006. Pág. 345- 352. ISBN: 1-59593-352-2.
-
RODRÍGUEZ, M. E.; SERRA, M.; CABOT, J.; GUITART, I. (2006). " Evolution of the Teacher Roles and Figures in E-learning Environments ". The 6th IEEE International Conference on Advanced Learning Technologies. Pág. 512- 514. ISBN: 0-7695-2632-4.
-
CABOT, J. (2006). " Transforming OCL constraints: a context change approach ". Proceedings of the The 21st Annual ACM Symposium on Applied Computing (SAC 2006) . Pág. 1.196- 1.201. ISBN: 1-59593-108-2.
-
CABOT, J.; TENIENTE, E. (2005). " Generación Automática de Restricciones de Integridad: Estado del Arte ". II Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05) .
-
CABOT, J. (2003). " La relación de materialización en UML ". VIII Jornadas de Ingeniería del Software y Bases de Datos. Pág. 177- 186. ISBN: 8468838365.
-
RAVENTÓS, R.; CABOT, J. (2003). " A Conceptual Modelling Pattern for Roles ". VIII Jornadas de Ingeniería del Software y Bases de Datos. Pág. 421- 430. ISBN: 8468838365.
Documentos científicos
-
CABOT, J.; DURÁN, F.; MORENO, N.; ROMERO, R.; VALLECILLO, A. (2007). " From Programming to Modeling: Evolving the Contents of a Distributed Software Engineering Course ".
-
CABOT, J.; TENIENTE, E. (2005). " Generating Alternative Representations for OCL Integrity Constraints".
-
CABOT, J.; TENIENTE, E. (2005). " Incremental Integrity Constraint Checking in UML Conceptual Schemas".
-
CABOT, J.; TENIENTE, E. (2005). " Computing the Relevant Instances thay May Violate an OCL Constraint".
-
CABOT, J.; TENIENTE, E. (2004). " Determining the Structural Events thay May Violate an OCL Constraint".
-
CABOT, J.; RAVENTÓS, R. (2003). " Roles as Entity Types: A Conceptual Modelling Pattern".
-
CABOT, J.; GÓMEZ, C. (2003). " Design and Implementation of Partition profile - An experience report".
-
CABOT, J.; GÓMEZ, C. (2003). " A simple yet useful approach to implementing UML Profiles in CASE tools".
Contribuciones a congresos
-
CABOT, J. (2007). " 26th International Conference on Conceptual Modeling ". 5 noviembre.
-
CABOT, J. (2007). " "From Declarative to Imperative UML/OCL Operation Specifications". ". En: 26th International Conference on Conceptual Modeling. 5 noviembre.
-
CABOT, J. (2007). " Deriving Operation Contracts from UML Class Diagrams ". En: 10th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS¿07). Nashville, 30 septiembre.
-
CABOT, J.; TENIENTE, E. (2006). " A metric for measuring the complexity of OCL expressions ". En: Model Size Metrics Workshop (workshop co-located with MODELS'06). Gènova, 3 octubre.
-
CABOT, J. (2006). " Ambiguity issues in OCL postconditions ". En: OCL for (Meta-) Models in Multiple Application Domain (workshop co-located with MODELS'06). Gènova, 2 octubre.
-
GUITART, I.; RODRÍGUEZ, M. E.; CABOT, J.; SERRA, M. (2006). " XII Jornadas de Enseñanza Universitaria de la Informática ". En: XII Jornadas de Enseñanza Universitaria de la Informática. BILBAO, 12 julio.
-
CABOT, J.; TENIENTE, E. (2006). " Incremental evaluation of OCL constraints ". En: 18th Conferfence on Advanced Information Systems Engineering (CAiSE'06). Luxemburg, 5 junio.
-
CABOT, J.; TENIENTE, E. (2006). " The 21st Annual ACM Symposium on Applied Computing (Model transformation track) ". En: The 21st Annual ACM Symposium on Applied Computing (Model transformation track) . Dijon, 26 abril.
-
CABOT, J.; TENIENTE, E. (2005). " Generación automática de Restricciones de Integridad: Estado del Arte ". En: II Taller sobre Desarrollo de Software Dirigido por Modelos, MDA y Aplicaciones (DSDM'05) . GRANADA, 12 septiembre.
-
CABOT, J.; TENIENTE, E. (2005). " Computing the Relevant Instances that May Violate an OCL Constraint ". En: 17th International Conference on Advanced Information Systems Engineering . Porto, 1 junio.
-
CABOT, J. (2005). " El aprendizaje de la Ingeniería del Software en •una universidad virtual: el caso de la UOC ". En: I Congreso Internacional de Tecnologías de la Información y Comunicaciones. Cuenca, 28 abril.
-
CABOT, J.; RAVENTÓS, R. (2004). " Roles as Entity Types: A Conceptual Modelling Pattern ". En: 23rd International Conference on Conceptual Modeling (ER'04). Shanghai, 1 noviembre.
-
CABOT, J.; TENIENTE, E. (2004). " Determining the Structural Events that May Violate an Integrity Constraint ". En: 7th International Conference on the Unified Modeling Language. Lisboa, 10 octubre.
-
CABOT, J.; TENIENTE, E.; OLIVÉ, A. (2003). " Representing temporal information in UML ". En: 6th International Conference on the Unified Modeling Language (UML'03). San Francisco, 1 diciembre.
-
CABOT, J.; GÓMEZ, C. (2003). " A simple yet useful approach to implementing UML Profiles in CASE tools ". En: 2nd UML Workshop in Software Model Engineering. San Francisco, 1 octubre.