Computer Science y Networking Technologies

Ingeniería del software. GRES-UOC.

Nuestra investigación se centra en la Computer-Aided Software Engineering (CASE): métodos automatizados para dar soporte al desarrollo de sistemas de software, como la síntesis automática, las técnicas de optimización y simulación o la verificación formal.

Responsable: Clarisó Viladrosa, Robert .

Proyectos

En curso:

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

Finalizados:

Red nacional de excelencia, sobre Desarrollo de Software Dirigido por Modelo | Vallecillo, Antonio
>> ver los detalles
Una metodología de modelado y simulación distribuida para la optimización distribuida de procesos logísticos y fabricación | Piera Eroles, Miquel Àngel , Guasch Petit, Antoni
>> ver los detalles
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
>> ver los detalles
Desenvolupament d'un entorn avançat d'ajuda a la modelització conceptual de sistemes d'informació | Olivé Ramon, Antoni
>> ver los detalles
MAVERISH: Modeling, Analysis and Verification of Heterogeneous Systems | Orejas Valdés, Fernando
>> ver los detalles

Publicaciones

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) . Pág. 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 ". En: SCHAFFERT, S.; AUER, S.; PELLEGRINI, T. Proceedings of International Conference on Semantic Systems (I-SEMANTICS'08). J.UCS (Journal of Universal Computer Science) Proceedings. Pág. 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 ". En: ANGUITA, M.; CASTILLO, P. A.; PEÑA, R. Actas XIV Jornadas de Enseñanza Universitaria de la Informática (JENUI2008) . Granada: Paraninfo. Pág. 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. Pág. 225- 239.