CARLOS ENRIQUE
CUESTA QUINTERO
Chercheur dans le période 1997-2006
Thèse de doctorat
-
Arquitectura de software dinámica basada en reflexión 2002
Universidad de Valladolid
Thèses dirigées (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
Jurys de thèses (5)
-
Rapporteur du jury
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
-
Rapporteur du jury
Estudio empírico para la validación de indicadores de la reusabilidad de diagramas de clases UML 2009Universidad de Valladolid
-
Un secrétaire du jury
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
-
Rapporteur du jury
Architecture traced from requirements by applying a unified methodology 2007Universidad de Castilla-La Mancha
NAVARRO MARTINEZ, ELENA MARIA
-
Rapporteur du jury
Prisma: aspect-oriented software architectures 2006Universitat Politècnica de València
Pérez Benedí, Jenifer