Tesis doctoral de Miguel Gea Megias
En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la especificacion de sistemas graficos. Se ha utilizado un formalismo adecuado para la especificacion de sistemas graficos que permite su descripcion a un nivel alto de abstraccion, asi como de desarrollar una serie de herramientas que faciliten el desarrollo de software a partir de la especificacion. se han estudiado distintas tecnicas de especificacion formal, asi como su aplicacion a sistemas graficos. partiendo de tecnicas basadas en la especificacion algebraica hemos propuesto un modelo formal basado en la representacion del estado basado en la historia funcional que ha sido aplicada. Sobre este modelo, hemos analizado y caracterizado una serie de propiedades formales. Se ha propuesto un lenguaje de especificacion (gralpla), asi como una serie de herramientas para la comprobacion de la correccion de la especificacion y la traduccion de las especificaciones a un lenguaje de alto nivel orientado a objetos. finalmente, se exponen una serie de ejemplos de especificacion de sistemas graficos, asi como el metodo de traduccion de las especificaciones a lenguaje c++.
Datos académicos de la tesis doctoral «Especificacion formal de sistemas graficos.«
- Título de la tesis: Especificacion formal de sistemas graficos.
- Autor: Miguel Gea Megias
- Universidad: Granada
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Juan Carlos Torres Cantero
- Tribunal
- Presidente del tribunal: Buenaventura Clares Rodríguez
- A. Duce David (vocal)
- Pere Botella López (vocal)
- D. Harrison Michael (vocal)