CARLOS ENRIQUE
CUESTA QUINTERO
Ikertzailea 1997-2006 tartean
Doktorego-tesia
-
Arquitectura de software dinámica basada en reflexión 2002
Universidad de Valladolid
Zuzendutako tesiak (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
Tesi epaimahaiak (5)
-
Epaimahaikidea
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
-
Epaimahaikidea
Estudio empírico para la validación de indicadores de la reusabilidad de diagramas de clases UML 2009Universidad de Valladolid
-
Epaimahaiko Secretario
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
-
Epaimahaikidea
Architecture traced from requirements by applying a unified methodology 2007Universidad de Castilla-La Mancha
NAVARRO MARTINEZ, ELENA MARIA
-
Epaimahaikidea
Prisma: aspect-oriented software architectures 2006Universitat Politècnica de València
Pérez Benedí, Jenifer