Resumen de Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados
En esta tesis se presenta (OFRE Coordinativa Formal Requirenets Encinooment), un entorno para el desarrollo de entornos coordinados basados en componentes donde los aspectos funcionales y de coordinación se contemplan de forma separada desde los primeras fases.
El entorno que se propone se basa en el -- del lenguaje formal manda como base para la especificacción y desarrollo de parte de las herramientas del entorno , y es uso del lenguaje exógeno de coordinación Coordenate al Poles.
