Contribucion al tratamiento de datos en lotos

• Autores: Manuel J. Fernández Iglesias
• Directores de la Tesis: Martín Llamas Nistal (dir. tes.)
• Lectura: En la Universidade de Vigo ( España ) en 1997
• Idioma: español
• Tribunal Calificador de la Tesis: Juan Quemada Vives (presid.), José Juan Pazos Arias (secret.), José M. Santos Suárez (voc.), Santiago Pavón Gómez (voc.), David de Frutos Escrig (voc.)
• Materias:
  • Ciencias tecnológicas
    • Tecnología de las telecomunicaciones
• Texto completo no disponible (Saber más ...)
• Resumen

  • En esta tesis doctoral se presenta una nueva tecnica para el tratamiento practico de los tipos abstractos de datos en el lenguaje de especificacion formal lotos. Esta tecnica permite el analisis automatico de predicados booleanos, la resolucion de ecuaciones, y la transformacion automatica o interactiva de las expresiones de datos que aparecen en una especificacion lotos. Primeramente se analiza la situacion actual en lo que se refiere al tratamiento de los datos en entornos lotos. A continuacion se estudian las necesidades de tratamiento de expresiones de datos a lo largo del proceso de desarrollo basado en el lenguaje lotos. Mas adelante se construye formalmente el soporte matematico de la tecnica propuesta. Basandonos en este soporte, se presenta un conjunto de algoritmos que implementa esta tecnica y se ofrecen varios ejemplos de su aplicacion al proceso de diseño lotos.