RESUMEN
En la actualidad es común la utilización de sistemas de computación
complejos en muchos sectores tales como comunicaciones, fábricas,
transporte, medicina, defensa. Estos sistemas funcionan en entornos
heterogéneos, desarrollados bajo diversos requerimientos. En la
mayoría de los casos tales requerimientos presentan conflictos entre
sí y el cumplimiento de ellos requiere la aplicación de técnicas de
desarrollo avanzadas durante todo el ciclo de vida. En este sentido,
se propone seguir principalmente dosa líneas de investigación: el
paradigma de desarrollo basado en componentes formalizado a partir de
especificaciones formales y el testing de las mismas para garantizar
la correcta implementación de los requerimientos.