, Franck Barbier (dir. tes.) 
, Roberto Uribeetxeberria Ezpeleta (secret.)
, Philippe Aniorté (voc.)
, Sergio Carlos Bandinelli Gutiérrez (voc.)
, Rebeca Cortázar (voc.) 
Los sistemas basados en componentes se construyen a día de hoy de forma en la que el sistema es verificado y validado cuando el sistema está completamente desplegado, Esta tesis plantea una metodología de desarrollo de este tipo de sistemas donde se anticipe la idoneidad del sistema a construir a una fase de diseño. Para ello se proponen modelos de comportamiento de los componentes en base a máquinas de estado que se esamblan con un conector especial llamado Composition Management Interface, que permite la simulación de la construcción del sistema. Todo ello se pone en ejecucción, y se analiza el estado global del sistema para verificar y validar el comportamiento de un sistema basado en componentes.
© 2008-2025 Fundación Dialnet · Todos los derechos reservados