Cofreentorno formal para la especificación validación y desarrollo de sistemas coordinados

  1. SANCHEZ ALONSO M. SOLEDAD
Dirigée par:
  1. Juan Munuel Murillo García Directeur/trice

Université de défendre: Universidad de Extremadura

Fecha de defensa: 05 juillet 2004

Jury:
  1. Isidro Ramos Salavert President
  2. Francisco Durán Muñoz Secrétaire
  3. José Ambrosio Toval Álvarez Rapporteur
  4. Manuel García Clavel Rapporteur
  5. Juan Maria Hernandez Nuñez Rapporteur

Type: Thèses

Teseo: 100071 DIALNET

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.