Tesis dirigidas (1)

  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 (4)

  1. Secretario del tribunal

    Estudio y aplicación de nuevos métodos de compresión de texto orientada a palabras 2010

    Universidad de Valladolid

    Martínez Prieto, Miguel Á.

  2. Vocal del tribunal

    Titán: un marco de trabajo para el estudio de la integración de aspectos en sistemas software 2008

    Universidad de Extremadura

    Pérez Toledano, Miguel Angel

  3. Secretario del tribunal

    Arquitectura de software dinámica basada en reflexión 2002

    Universidad de Valladolid

    CUESTA QUINTERO, CARLOS ENRIQUE

  4. Vocal del tribunal

    Incremento del potencial de reutilización del software mediante refactorización 2000

    Universidad de Valladolid

    Crespo, Yania