Cofreentorno formal para la especificación validación y desarrollo de sistemas coordinados
- SANCHEZ ALONSO M. SOLEDAD
- Juan Munuel Murillo García Directeur/trice
Université de défendre: Universidad de Extremadura
Fecha de defensa: 05 juillet 2004
- Isidro Ramos Salavert President
- Francisco Durán Muñoz Secrétaire
- José Ambrosio Toval Álvarez Rapporteur
- Manuel García Clavel Rapporteur
- Juan Maria Hernandez Nuñez Rapporteur
Type: Thèses
Résumé
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.