Tesis doctoral de Jose Martin Faba
El sistema interactivo de ayuda al diseño de programas en el resultado de la investigacion en la aplicacion de la teoria de automatica finitos en el diseño de programas de ordenador y de la generacion automatica de los mismos. Se ha realizado una formalizacion de las estructuras de datos indentificandolas con expresiones regulares. Para ello se utilizan los operadores concatenacion union interseccion complementario e iteracion propios del algebra regular. En este sentido el sladp puede: 1. generar un programa en apl que es capaz de tratar la estructura de datos resultado de la consolidacion de los distintos conjuntos de datos que intervienen en el mismo. 2. Tratar facilmente una cadena entendida como una secuencias de caracteres. Por otra parte se utiliza el concepto de automata finito para poder describir el comportamiento de un programa. El sitema es interactivo ya que ha sido programado en apl.
Datos académicos de la tesis doctoral «Sistema interactivo de ayuda al diseño de programas.«
- Título de la tesis: Sistema interactivo de ayuda al diseño de programas.
- Autor: Jose Martin Faba
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1983
Dirección y tribunal
- Director de la tesis
- Roman Riaza Perez
- Tribunal
- Presidente del tribunal: Scala Estalella Juan Jose
- Roman Riaza Perez (vocal)
- Eugenio Andrés Puente (vocal)
- Emilio Bautista Paz (vocal)