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 sistemas con el suficiente poder expresivo y flexibilidad para modelar y describir el comportamiento con alto nivel de abstracción. b) Pasar de la especificación al código a través de la Síntesis de Comportamiento. c) Analizar el problema de “No-realizabilidad” en la Síntesis de Comportamiento. d) Validación del comportamiento en términos de arquitectura de software. e) Modelado de patrones de comportamiento en sistemas reactivos. f) Incursionar en temas de BIG DATA, redes neuronales y aprendizaje automático. 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) Pasar de la especificación al código a través de la Síntesis de Comportamiento. c) Aplicar técnicas avanzadas de Ingeniería de Software en dominios de interés estratégico como BIG DATA y aprendizaje automático. d) Modelar, abstraer y razonar para la descripción de eventos de alto nivel de interés en áreas de Inteligencia Artificial. e) Relacionar a través de la síntesis de comportamiento métodos formales de Ingeniería de Software con Agentes Inteligentes, posiblemente en contexto de procesamiento distribuido.