Resumen

OBJETIVO GENERAL: Creación de un framework de desarrollo de software que abarque conceptos avanzados de modularización en todas las etapas del proceso, desde la captura de requerimientos hasta su correspondiente implementación, pasando por el modelado y testing. OBJETIVOS ESPECIFICOS: PRIMERA ETAPA a) Investigar lenguajes para la especificación de aspectos con el suficiente poder expresivo y flexibilidad para atacar el problema de la interferencia entre aspectos. b) Investigar, analizar, diseñar y algoritmos para dar soporte a las alternativas encontradas en el punto anterior. c) Realizar incrementalmente diversos casos de estudio que muestren la aplicabilidad de las alternativas encontradas. Comenzar desde ejemplos académicos que demuestren una idea a ejemplos de nivel industrial como protocoles de comunicación. d) Expandir las nociones de aspectos a áreas fundamentales del desarrollo como Testing, Diseño Basados en Modelos. SEGUNDA ETAPA a) Investigar lenguajes para la especificación de sistemas con el suficiente poder expresivo y flexibilidad para modelar y describir el comportamiento con alto nivel de abstracción. b) Investigar, analizar, diseñar y algoritmos para dar soporte a las alternativas encontradas en el punto anterior. c) Implementar las técnicas desarrolladas en áreas como validación formal de software, incluyendo la interacción con model checkers. d) Validación del comportamiento en términos de arquitectura de software. e) Modelado de patrones de comportamiento en sistemas reactivos.