CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires / Proyectos de la Línea de Investigación
TI/16/70 - Framework para el Desarrollo de Software mediante Modularización Avanzada
Ingeniería de Software
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.
Vigencia
4-2016 a 3-2020
Integrantes
Fernando Asteasuain (Director)
Shaofeng Han (Alumno)
Pablo Daniel Gamboa (Alumno)
Carolina Soleil (Colaborador)