Tesis doctoral de Tomas Robles Valladares
Los protocolos que se desarrollan para las nuevas redes de comunicaciones son cada vez mas complejos. Debido a esta complejidad se hace cada vez mas dificil garantizar el correcto funcionamiento de las implementaciones. el uso de tecnicas formales para el diseño de los protocolos ha demostrado ser de gran utilidad. Permite aplicar un tratamiento homogeneo a las distintas fases del desarrollo, desde las especificaciones de diseño hasta la realizacion final. Permite aplicar un tratamiento formal a los protocolos y facilita su diseño e implementacion. el objetivo de esta tesis es utilizar estas mismas tecnicas formales para mejorar la fase de pruebas. Nos centraremos en la formalizacion de los conceptos de calidad, generacion de casos de prueba y ejecucion de los mismos.
Datos académicos de la tesis doctoral «Uso de tecnicas formales para el diseño de protocolos de comunicaciones«
- Título de la tesis: Uso de tecnicas formales para el diseño de protocolos de comunicaciones
- Autor: Tomas Robles Valladares
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Mañas Argemi José Antonio
- Tribunal
- Presidente del tribunal: Juan Riera Garcia
- Miguel Beltran Salvans (vocal)
- Juan Antonio De La Puente Alfaro (vocal)
- Francisco J. Garijo (vocal)