MANUEL
GARCÍA CLAVEL
Tesis doctoral
Tesis dirigidas (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
Tribunales de tesis (4)
-
Secretario del tribunal
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales 2004Universidad Complutense de Madrid
-
Vocal del tribunal
Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados 2004Universidad de Extremadura
SANCHEZ ALONSO M. SOLEDAD
-
Secretario del tribunal
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura 2003Universidad Complutense de Madrid
-
Secretario del tribunal
The problem of storing common sense in artificial intelligence. Context in cyc 2000Universidad de Navarra
Geroges Mark, Telford