MANUEL
GARCÍA CLAVEL
Thesis
Supervised Theses (3)
-
Mapping OCL as a query and constraint language 2017
Universidad Complutense de Madrid
DANIA FLORES, CAROLINA INÉS
-
Desarrollo dirigido por modelos de aplicaciones seguras para el manejo de información 2015
Universidad Complutense de Madrid
García de Dios, Miguel Ángel
-
Una semántica formal ejecutable para ocl y sus aplicaciones al análisis y a la validación de modelos 2008
Universidad Complutense de Madrid
Egea González, Marina Soledad
Theses Committees (4)
-
Secretary of the Committee
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004Universidad Complutense de Madrid
-
Committee Member
Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados 2004Universidad de Extremadura
SANCHEZ ALONSO M. SOLEDAD
-
Secretary of the Committee
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003Universidad Complutense de Madrid
-
Secretary of the Committee
The problem of storing common sense in artificial intelligence. Context in cyc 2000Universidad de Navarra
Geroges Mark, Telford