Tesis doctoral de Rafael Corchuelo Gil
Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática utilzándolos como lenguajes de muy alto nivel a partir de los cuales obtener rápidamente prototipos aplciables en la fase de análisis de requisitos. se realiza un estudio exhaustivo de los lenguajes lcm, troll, oasis y tesoro destacando sus características comunes y aquellas que resultan más útiles enla práctica. Para poder compilarlos, se propone unlenguaje ensamblador llamado clip y se desarrollan técnicas para implementarlo sobre una red de estaciones de trabajo meterogéneas. el problema de la selecciónn jsuta de alternativas ha sido tratado con grandetalle y se han realizado varias propuestas para reolverlos que resultan originales y mejoran sustancialmente las clásicas de francez, informan o best.
Datos académicos de la tesis doctoral «Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicación al lenguaje tesoro.«
- Título de la tesis: Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicación al lenguaje tesoro.
- Autor: Rafael Corchuelo Gil
- Universidad: Sevilla
- Fecha de lectura de la tesis: 17/12/1999
Dirección y tribunal
- Director de la tesis
- Miguel Toro Bonilla
- Tribunal
- Presidente del tribunal: José María Troya linero
- Juan Pavon mestras (vocal)
- Juan Manuel Corchado rodríguez (vocal)
- Hernández núñez Juan Manuel (vocal)