CARLOS ENRIQUE
CUESTA QUINTERO
Investigador en el periodo 1997-2006
Tesis doctoral
-
Arquitectura de software dinámica basada en reflexión 2002
Universidad de Valladolid
Tesis dirigidas (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
Tribunales de tesis (5)
-
Vocal del 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
-
Vocal del tribunal
Estudio empírico para la validación de indicadores de la reusabilidad de diagramas de clases UML 2009Universidad de Valladolid
-
Secretario del 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
-
Vocal del tribunal
Architecture traced from requirements by applying a unified methodology 2007Universidad de Castilla-La Mancha
NAVARRO MARTINEZ, ELENA MARIA
-
Vocal del tribunal
Prisma: aspect-oriented software architectures 2006Universitat Politècnica de València
Pérez Benedí, Jenifer