Lenguaje formal para la automatizacion de programas estructurados
Tesis doctoral de Garcia De Diego Barber M. Teresa Datos académicos de la tesis doctoral «Lenguaje formal para la […]
Tesis doctoral de Justo Sancho Rodriguez
Información academica Justo Sancho Rodriguez. Tesis donde Justo Sancho Rodriguez ha sido autor, director o parte del tribunal.
«ingenieria de requerimientos en el ciclo de vida».
Tesis doctoral de Martinez Armero José Tomas Desarrolla una metodología formal de analisis y derivacion de requerimientos. Incluyendo los niveles
Diseño de metodos criptograficos para la proteccion de la informacion en sistemas de ordenadores.
Tesis doctoral de Justo Sancho Rodriguez Se describe en esta tesis como antecedentes los principios basicos de la criptografia siendo