Tesis:
Contribución al análisis y transformación de especificaciones lotos
- 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
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: 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