Tesis doctoral de Galan Morillo Francisco José
La tesis aborda el desarrollo de un formalismo que sirva de base para sintetizar software orientado a objetivos. Actualmente, se están desarrollado diversos formalismos gráficos. Textuales para especificar software. La falta de una semántica precisa y de un método sistemático de traducción compromente la correcición de las traducciones. Para resolver estos problemas se propone el lenguaje s-umil/ocl. Se trata de un lenguaje de especificación de software orientado a objetos caracterizado con una semántica adaptada a sintesis. La tesis destaca cada elemento del lenguaje s-uml/ocl conel correspondiente método de síntesis y una metodología de construcciónde especificaciones como paso previó a la síntesis.
Datos académicos de la tesis doctoral «Formalizaciones para sintetizar software orientado a objetos.«
- Título de la tesis: Formalizaciones para sintetizar software orientado a objetos.
- Autor: Galan Morillo Francisco José
- Universidad: Sevilla
- Fecha de lectura de la tesis: 20/10/2000
Dirección y tribunal
- Director de la tesis
- Miguel Toro Bonilla
- Tribunal
- Presidente del tribunal: isidro Ramos salavert
- ambrosio Toval álvarez (vocal)
- Juan José Moreno navarro (vocal)
- ernesto Pimentel sanchez (vocal)