Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.

Tesis doctoral de Sanchez Alonso M. Soledad

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.

 

Datos académicos de la tesis doctoral «Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.«

  • Título de la tesis:  Cofre: entorno formal para la especificación validación y desarrollo de sistemas coordinados.
  • Autor:  Sanchez Alonso M. Soledad
  • Universidad:  Extremadura
  • Fecha de lectura de la tesis:  05/07/2004

 

Dirección y tribunal

  • Director de la tesis
    • Murillo García Juan Munuel
  • Tribunal
    • Presidente del tribunal: isidro Ramos salavert
    • ambrosio Tova alvarez (vocal)
    • Manuel García clavel (vocal)
    • Hernández núñez Juan María (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio