Tribunal Calificador de la Tesis:Rafael Portaencasa Baeza (presid.) , Justo Antonio Fernández García (secret.) , Antonio Insua Negrao (voc.) , Justo Sancho Rodríguez (voc.) , Antonio Valle Bracero (voc.)
DESARROLLA UNA METODOLOGIA FORMAL DE ANALISIS Y DERIVACION DE REQUERIMIENTOS, INCLUYENDO LOS NIVELES FORMAL OBJETO Y HERRAMIENTA AUTOMATICA DE AYUDA AL DISEÑO.