Raquel Anaya Hernandez
 Francisco José Correa Zabala
 Mónica Henao Cálad
 Alberto Antonio Restrepo Velasquez
 Rafael David Rincón Bermúdez
 Marta Silvia Tabares Betancur
 Alexander Barón Salazar
 Omar Garcia Palencia
 Juan Bernardo Quintero
 Cesar Augusto Suaza Arango

• Métodos formales
• Metodologías y modelos de desarrollo de software 
• Sistemas de conocimiento
• Aseguramiento de la calidad

En desarrollo

Aplicación de un modelo de Ingeniería de Requisitos a un caso real.                                       Este proyecto incluye la evaluación de un software y una metodología desarrollada en Sevilla, España. Dicha evaluación es realizada en conjunto con la empresa PSL, de Medellín. COMPETISOFT- Mejora de procesos para fomentar la competitividad de la pequeña y mediana industria del software de Iberoamérica.                                                                     Proyecto a nivel iberoamericano que busca definir un marco metodologico para guiar a las empresas de software medianas y pequeñas a elevara su nivel de competitividad. MEDUSA-Marco metodologico para el desarrollo orientado a aspectos.                                 Definir un marco metodologico para el desarrollo de aplicaciones con el enfoque de orientacion por objetos que pueda ser aplicado a nivel industrial.   Apoyo Al Fortalecimiento de la Calidad de Software.                                                             Defnición de un modelo de calidad para apoyar la mejora de procesos en las organizaciones Pymes de software. Implemnetar el modelo CMMI en 58 empresas a nivel nacional. Comunidad educativa interactiva.

Concluídos

Extensiones en Herramientas CASE con Enfasis en Formalismos y Reutilizacion.                     Extender la funcionalidad de una herramienta CASE industrial (ARCA) apropiando un marco formal que garantice la consistencia de la especificación tanto horizontal (vistas de abstracciones similares), como vertical (refinamiento y trazabilidad ), utilizando reglas de consistencia horizontales y verticales respectivamente. El entorno actual de meta CASE servirá como “prototipo de formalización” que permite estudiar, especificar y ejecutar dichas reglas en el entorno que actualmente posee el meta CASE para luego encontrar los mecanismos apropiados para integrar dichos resultados en la herramienta CASE industrial. Mining Design Metrics for Quality: Object Oriented Application Frameworks.                         The aim of this research is also to explore the relationship between quality attributes and design metrics. The work differs from previous approaches (for one) due to the empirical methods we follow. The research firstly involves examining thousands of lines of successful object oriented software to extract the metrics, which show improvement in quality attributes over time. Secondly, we reduce the scope of the study to Object Oriented Application Frameworks (OOAF) where concrete design principles exist. Pasantia en Industria de Software en Periodo Sabatico.                                                        La pasantia en la industria de software permitio reflexionar acerca de la practica de ingenieria de software en un empresa real.