Autor: PAVON GOMEZ, Santiago

Título: Contribución al análisis y transformación de especificaciones lotos

Fecha: 1990

Materia: Sin materia definida

Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION

Departamento: INGENIERIA DE SISTEMAS TELEMATICOS

Acceso electrónico:

Director/a(s):

• Director/a: QUEMADA VIVES, Juan

Resumen: La tesis se centra en el diseño de Sistemas Distribuidos, especialmente en el desarrollo de algorítmos y herramientas para dar soporte al proceso de diseño de estos sistemas basados en LOTOS. LOTOS es una FDT que permite describir los requisitos de un sistema de forma no ambigua, y permite verificar y probar que los desarrollos realizados durante el proceso de diseño se ajustan a los requisitos dados. Los algorítmos desarrollados se pueden clasificar en dos grupos. El primero está basado en funciones de exploración de estados. Particularmente se han desarrollado diferentes funciones de expansión y paso de pruebas. El segundo grupo comprende un conjunto de funciones de descomposición de funcionalidad. Estos algorítmos se han implementado en un prototipo software