CARLOS ENRIQUE
CUESTA QUINTERO
Investigador no período 1997-2006
Tese doutoral
-
Arquitectura de software dinámica basada en reflexión 2002
Universidad de Valladolid
Teses dirixidas (1)
-
Verificación automática del comportamiento activo de uml usando métodos formales 2004
Universidad de Valladolid
Beato Gutiérrez, María Encarnación
Tribunais de teses (5)
-
Vogal do tribunal
Estudio, implementación y evaluación de un tutor inteligente para el aprendizaje de lógica computacional basado en modelos y apoyado en conocimiento 2011Universidad de Valladolid
-
Vogal do tribunal
Estudio empírico para la validación de indicadores de la reusabilidad de diagramas de clases UML 2009Universidad de Valladolid
-
Secretario do tribunal
Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software 2008Universidad de Extremadura
Pérez Toledano, Miguel Angel
-
Vogal do tribunal
Architecture traced from requirements by applying a unified methodology 2007Universidad de Castilla-La Mancha
NAVARRO MARTINEZ, ELENA MARIA
-
Vogal do tribunal
Prisma: aspect-oriented software architectures 2006Universitat Politècnica de València
Pérez Benedí, Jenifer