Computer Science and Networking Technologies

Software engineering. GRES-UOC

Our research focuses on Computer-Aided Software Engineering (CASE): Automated methods for supporting the development of programming systems, such as automatic synthesis, optimisation techniques and formal verification simulation.

Project leader: Clarisó Viladrosa, Robert .

Projects

In progress:

Diseño y construcción de un asistente al modelado conceptual | Olivé, Antoni
>> see details
Desarrollo dirigido por modelos (MDD) de aplicaciones Web a partir de especificaciones de procesos de negocio | Teniente, Ernest
>> see details
Construcción de un entorno integrado para el desarrollo centrado en el esquema conceptual de sistemas de información | Olivé Ramon, Antoni
>> see details

Finished:

Red nacional de excelencia, sobre Desarrollo de Software Dirigido por Modelo | Vallecillo, Antonio
>> see details
Una metodología de modelado y simulación distribuida para la optimización distribuida de procesos logísticos y fabricación. DPI2004-08056-C03-01 (CICYT) | Piera Eroles, Miquel Àngel , Guasch Petit, Antoni
>> see details
Entorno inteligente para la optimización de la logística del transporte de mercancías por camión. Ministerio de Fomento. | Piera Eroles, Miquel Àngel , Guasch Petit, Antoni
>> see details
Desenvolupament d'un entorn avançat d'ajuda a la modelització conceptual de sistemes d'informació | Olivé Ramon, Antoni
>> see details
MAVERISH: Modeling, Analysis and Verification of Heterogeneous Systems | Orejas Valdés, Fernando
>> see details

Publications

GUERRA, E.; DE, J.; CLARISÓ, R.; CABOT, J. (2008). " An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations ". Proceedings ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS'2008) . Page. 37- 52.

RODRÍGUEZ, M. E.; CONESA, J.; SICILIA, M. �.; GARCÍA, E. (2008). " Conceptual Interpretation of LOM Semantics and its Mapping to Upper Level Ontologies ". Proceedings of the International Conference on Semantic Systems.

RODRÍGUEZ, M. E.; CONESA, J.; GARCÍA, E.; SICILIA, M. �. (2008). " Conceptual Interpretation of LOM Semantics and its Mapping to Upper Level Ontologies ". In: SCHAFFERT, S.; AUER, S.; PELLEGRINI, T. Proceedings of International Conference on Semantic Systems (I-SEMANTICS'08). J.UCS (Journal of Universal Computer Science) Proceedings. Page. 126- 133. ISBN: 0948-695x.

RODRÍGUEZ, M. E.; RIUS, M. �.; CONESA, J.; CASADO, C. (2008). " Diseño para grados TIC basado en competencias: Concreción el área de BD en el contexto de la UOC ". In: ANGUITA, M.; CASTILLO, P. A.; PEÑA, R. Actas XIV Jornadas de Enseñanza Universitaria de la Informática (JENUI2008) . Granada: Paraninfo. Page. 343- 350. ISBN: 978-84-612-4475-1.

CLARISÓ, R.; CABOT, J. (2008). " Proceedings International Conference on Model Transformation: Theory and Practice of Model Transformations International ". Analysing Graph Transformation Rules Using OCL. Page. 225- 239.