Cofreentorno formal para la especificación validación y desarrollo de sistemas coordinados
- SANCHEZ ALONSO M. SOLEDAD
- Juan Munuel Murillo García Doktorvater/Doktormutter
Universität der Verteidigung: Universidad de Extremadura
Fecha de defensa: 05 von Juli von 2004
- Isidro Ramos Salavert Präsident/in
- Francisco Durán Muñoz Sekretär/in
- José Ambrosio Toval Álvarez Vocal
- Manuel García Clavel Vocal
- Juan Maria Hernandez Nuñez Vocal
Art: Dissertation
Zusammenfassung
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.