Tesis:
Definición de un entorno de especificación de software de comunicaciones para redes de servicios avanzados
- Autor: LOPEZ GOMEZ, Genoveva
- Título: Definición de un entorno de especificación de software de comunicaciones para redes de servicios avanzados
- Fecha: 1990
- Materia: MATEMATICAS. Teseo;CIENCIAS DE LA COMPUTACION. Teseo;SOFTWARE. Teseo
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: GARCIA TOMAS, Jesús
- Director/a 2º: PEREDA SORIANO, Orlando
- Resumen: Se define un entorno de especificación de software de comunicaciones. El entorno propuesto queda definido por un modelo, el cual tiene una estructura jerárquica. El nivel mas alto de esta estructura esta compuesto por factores que engloban el entorno de especificación en su totalidad. En el siguiente nivel se detallan un conjunto de criterios que definen cada uno de los factores y en el nivel inferior se exponen todos los requisitos que participan en la consecución de cada criterio. Tales requisitos se sitúan principalmente en dos categorías: lenguajes y herramientas de soporte. La propuesta de entorno realizada conlleva un análisis de su aplicabilidad mediante la evaluación crítica de las técnicas formales normalizadas (lotos, sdl, estelle) y de las herramientas disponibles asociadas. En este análisis se ha tratado de evaluar la adecuación de tales técnicas y herramientas a los criterios y requisitos definidos, así como su influencia sobre las fases de implementación (lenguajes de programación)