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

Departamento: SIN DEPARTAMENTO DEFINIDO

Acceso electrónico:

Director/a(s):

• Director/a: GARCIA TOMAS, Jesús
• Director/a: 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)