Tesis doctoral de Santiago Pavon Gomez
La tesis se centra en el diseño de sistemas distribuidos, especialmente en le desarrollo de algoritmos y herramientas para dar soporte al proceso de diseño de estos sistemas basado en lotos.Lotos es una fdt que permite describir los requisitos de un sistema de forma no ambigua, y permite verificar y probar que los desarrollos realizados durante el proceso de diseño se ajustan a los requisitos dados.Los algoritmos desarrollados se pueden clasificar en dos grupos: el primero esta basado en funciones de exploracion de estados. Particularmente se han desarrollado diferentes funciones de expansion y paso de pruebas. el segundo grupo comprende un conjunto de funciones de descomposicion de funcionalidad. estos algoritmos se han implementado en un prototipo software.
Datos académicos de la tesis doctoral «Contribucion al analisis y transformacion de especificaciones lotos.«
- Título de la tesis: Contribucion al analisis y transformacion de especificaciones lotos.
- Autor: Santiago Pavon Gomez
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Juan Quemada Vives
- Tribunal
- Presidente del tribunal: Riera Garcia Juan B.
- De Frutos Escrig David (vocal)
- Juan Antonio De La Puente Alfaro (vocal)
- Miguel Beltran Salvans (vocal)