Computer Science i Networking Technologies

Enginyeria del programari. GRES-UOC

La nostra recerca se centra en Computer-Aided Software Engineering (CASE): mètodes automatitzats per donar suport al desenvolupament de sistemes de programari, com ara la síntesi automàtica, les tècniques d'optimització i simulació o la verificació formal.

Responsable: Clarisó Viladrosa, Robert .

Projectes

En curs:

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

Acabats:

Red nacional de excelencia, sobre Desarrollo de Software Dirigido por Modelo | Vallecillo, Antonio
>> Mostra els detalls
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
>> Mostra els detalls
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
>> Mostra els detalls
Desenvolupament d'un entorn avançat d'ajuda a la modelització conceptual de sistemes d'informació | Olivé Ramon, Antoni
>> Mostra els detalls
MAVERISH: Modeling, Analysis and Verification of Heterogeneous Systems | Orejas Valdés, Fernando
>> Mostra els detalls

Publicacions

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 and its Mapping to Common Sense Ontologies ". A: SCHAFFERT, S.; AUER, S.; PELLEGRINI, T. Proceedings of I-SEMANTICS'08 International Conference on Semantic Systems . 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 ". A: 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). " Analysing Graph Transformation Rules Through OCL ". Proceedings International Conference on Model Transformation: Theory and Practice of Model Transformations . Pàg. 225- 239.

1 2 3 4 5 6 7 ... 19 Següent »