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