Cofreentorno formal para la especificación validación y desarrollo de sistemas coordinados
- SANCHEZ ALONSO M. SOLEDAD
- Juan Munuel Murillo García Director/a
Universidad de defensa: Universidad de Extremadura
Fecha de defensa: 05 de julio de 2004
- Isidro Ramos Salavert Presidente/a
- Francisco Durán Muñoz Secretario/a
- José Ambrosio Toval Álvarez Vocal
- Manuel García Clavel Vocal
- Juan Maria Hernandez Nuñez Vocal
Tipo: Tesis
Resumen
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.