Formación Académica

Experiencia profesional

Áreas de actuación

Idiomas

Líneas de investigación

Trabajos dirigidos/tutorías

ALEXEI SERNA A., Ingeniería de requisitos para mejorar la calidad del software - Una nueva visión  Centro Educacional De Computos Y Sistemas-Cedesistemas-  Estado: Tesis concluida  Ingeniería de Software  ,2018,  . Persona orientada: Bernardo Parra T.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

ALEXEI SERNA A., Software y sociedad - Una relación permanente  Fundación Universitaria Maria Cano  Estado: Tesis concluida  Ingeniería de software  ,2017,  . Persona orientada: Juan Miguel Ríos G.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

ALEXEI SERNA A., La innovación en la industria colombiana - Estado de desarrollo  Fundación Universitaria Autónoma De Las Américas  Estado: Tesis concluida  Ingeniería Administrativa  ,2018,  . Persona orientada: Francisco Lirón H.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,

ALEXEI SERNA A., Formalización del desarrollo de software - Una revisión  Fundación Universitaria Maria Cano  Estado: Tesis concluida  Ingeniería de software  ,2017,  . Persona orientada: Ana María Huertas A.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

ALEXEI SERNA A., Integración de la innovación en la gestión del conocimiento empresarial  Fundación Universitaria Autónoma De Las Américas  Estado: Tesis concluida  Ingeniería Administrativa  ,2018,  . Persona orientada: Verónica Jaimes T.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,

ALEXEI SERNA A., La calidad de software con una visión desde el usuario  Fundación Universitaria Maria Cano  Estado: Tesis concluida  Ingeniería de software  ,2017,  . Persona orientada: Luis Alberto Porras D.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

ALEXEI SERNA A., Análisis al posicionamiento de la innovación en la ciudad de Medellín  Fundación Universitaria Autónoma De Las Américas  Estado: Tesis concluida  Ingeniería Administrativa  ,2018,  . Persona orientada: Luisa Fernanda Builes G.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Sociales -- Economía y Negocios -- Negocios y Management,

ALEXEI SERNA A., La automatización de las pruebas en camino del mejoramiento de la calidad del software  Centro Educacional De Computos Y Sistemas-Cedesistemas-  Estado: Tesis concluida  Ingeniería de Software  ,2018,  . Persona orientada: María Isable Parra Y.  , Dirigió como: Tutor principal,  meses  
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

Par evaluador

Ámbito: Internacional  Par evaluador de: Material para publicación científica  Editorial: Editorial Instituto Antioqueño de Investigación,  2018,  Mayo  

Ámbito: Internacional  Par evaluador de: Proyecto  Institución: Instituto Antioqueño de Investigación,  2018,  Abril  

Eventos científicos

Redes de conocimiento especializado

Nombre de la red Ingeniar: Red Latinoamericana en Ingeniería  Tipo de redVirtual,  Creada el:2010-11-30 00:00:00.0,    en MEDELLÍN   con participantes 

Nombre de la red Red Latinoamericana de Educación Red-ucación  Tipo de redVirtual,  Creada el:2018-12-20 00:00:00.0,    en MEDELLÍN   con participantes 

Estrategias pedagógicas para el fomento a la CTI

Nombre de la estrategia Pedagogía y videojuego: Otra forma de ver la relación  Inicio enFebrero - 2013,  Finalizó en :Noviembre - 2013, 

Espacios de participación ciudadana

Artículos

ALEXEI SERNA A., EDGAR SERNA M., "Crisis de la Ingeniería en Colombia - Estado de la Cuestión" . En: Colombia 
Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
v.7 fasc.1 p.63 - 74 ,2015,  DOI: 
Palabras:
Formación, Ingeniería, Investigación, Tecnología,

ALEXEI SERNA A., EDGAR SERNA M., "Ontology for knowledge management in software maintenance" . En: Inglaterra 
International Journal of Information Management  ISSN: 0268-4012  ed: Elsevier Science
v.34 fasc.5 p.704 - 710 ,2014,  DOI: 10.1016/j.ijinfomgt.2014.06.005
Palabras:
Conocimiento, Formación, Investigación,

ALEXEI SERNA A., EDGAR SERNA M., "State of the Art in the Research of Formal Verification" . En: México 
Ingeniería Investigación y Tecnología  ISSN: 1405-7743  ed: Universidad Nacional Autonoma de México
v.15 fasc.4 p.615 - 623 ,2014,  DOI: 10.1007/s11043-. 007-9022-9
Palabras:
Ciencias Computacionales, Computación, Formalización, Verificación,

ALEXEI SERNA A., EDGAR SERNA M., "Formal specification in context: current and future" . En: Chile 
Ingeniare  ISSN: 0718-3305  ed: Departamento De Computacion Universidad De Tarapaca
v.22 fasc.2 p.243 - 256 ,2014,  DOI: http://dx.doi.org/10.4067/S0718-33052014000200010
Palabras:
Ciencias Computacionales, Ingeniería de Software, Software, Verificación,

ALEXEI SERNA A., EDGAR SERNA M., "Strategic Principles of Free Software and its Relation with Process Reengineering" . En: Colombia 
Revista Virtual Universidad Católica Del Norte  ISSN: 0124-5821  ed: Universidad Catolica Del Norte
v.42 fasc.NA p.197 - 206 ,2014,  DOI: 
Palabras:
Ingeniería de Software, Ingeniería, Software, Software libre,

ALEXEI SERNA A., EDGAR SERNA M., "Is it in crisis engineering in the world? A literature review" . En: Colombia 
Revista Facultad de Ingenieria  ISSN: 0120-6230  ed: Editorial Universidad de Antioquia
v.NA fasc.66 p.199 - 208 ,2013,  DOI: 
Palabras:
Investigación, Formación, Ingeniería,
Sectores:
Educación - Educación superior,

ALEXEI SERNA A., EDGAR SERNA M., "An Evaluation of Free Tools for Software Testing" . En: Colombia 
Revista Virtual Universidad Católica Del Norte  ISSN: 0124-5821  ed: Universidad Catolica Del Norte
v.37 fasc.NA p.44 - 61 ,2012,  DOI: 
Palabras:
Software libre, Software testing, Verificación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

ALEXEI SERNA A., EDGAR SERNA M., "Maturity model of transdisciplinary knowledge management" . En: Países Bajos 
International Journal of Information Management  ISSN: 0268-4012  ed: Elsevier Science
v.35 fasc.6 p.647 - 654 ,2015,  DOI: 10.1016/j.ijinfomgt.2015.07.002

ALEXEI SERNA A., EDGAR SERNA M., "Una revisión a los procesos de la ciencia, la tecnología y la innovación" . En: Colombia 
Entramado  ISSN: 1900-3803  ed: Universidad Libre
v.9 fasc.1 p.172 - 187 ,2013,  DOI: 
Palabras:
Investigación, Ciencia, Conocimiento, Tecnología,

ALEXEI SERNA A., EDGAR SERNA M., "La investigación en verificación formal - Un estado del arte" . En: Cuba 
Revista Cubana De Ciencias Informáticas  ISSN: 1994-1536  ed: 
v.7 fasc.3 p.114 - 126 ,2013,  DOI: 
Palabras:
Ciencias Computacionales, Métodos formales, Verificación,

ALEXEI SERNA A., EDGAR SERNA M., "El papel de los productos de la ingeniería de software en el problema del cambio climático" . En: Colombia 
Gerencia Tecnologica Informatica - Gti  ISSN: 1657-8236  ed: Division Editorial Y Publicaciones Universidad Industrial De Santander
v.12 fasc.32 p.79 - 85 ,2013,  DOI: 
Palabras:
Cambio climático, Ingeniería de Software, Software,

ALEXEI SERNA A., EDGAR SERNA M., "Critical analysis of proposals to generate test cases from use cases for functional testing" . En: Colombia 
Avances En Sistemas E Informática  ISSN: 1657-7663  ed: Universidad Nacional De Colombia Sede Medellin
v.7 fasc.2 p.105 - 113 ,2010,  DOI: 
Palabras:
Software, Software testing, Ciencias Computacionales,

ALEXEI SERNA A., EDGAR SERNA M., "Challenges and practical strategies of the empirical studies on software testing techniques" . En: Colombia 
Ingeniería Y Competitividad  ISSN: 0123-3033  ed: Facultad De Ingenieria Universidad Del Valle
v.13 fasc.1 p.141 - 146 ,2011,  DOI: 
Palabras:
Ciencias Computacionales, Software, Software testing,

ALEXEI SERNA A., EDGAR SERNA M., "An Evaluation of Free Tools for Software Testing" . En: Colombia 
Revista Virtual Universidad Católica Del Norte  ISSN: 0124-5821  ed: Universidad Catolica Del Norte
v.37 fasc.NA p.44 - 61 ,2012,  DOI: 
Palabras:
Ingeniería de Software, Software libre, Software testing,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

ALEXEI SERNA A., "Formal Methods in Industry" . En: Colombia 
Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS)  ISSN: 2248-7441  ed: 
v.2 fasc.2 p.44 - 51 ,2012,  DOI: 
Palabras:
Métodos formales, Formalización, Verificación,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Actividades de base de datos,

ALEXEI SERNA A., EDGAR SERNA M., "The role of software engineering products on problem of climate change" . En: Colombia 
Revista Gti  ISSN: 2027-8330  ed: Publindex
v.12 fasc.32 p.79 - 85 ,2013,  DOI: 
Palabras:
Cambio climático, Modelos computacionales, Software,
Sectores:
Previsión del tiempo y prospección climática,

ALEXEI SERNA A., EDGAR SERNA M., "Revisión a los procesos de investigación en la IS de los juegos de computador" . En: Colombia 
Ingenierías USBMed  ISSN: 2027-5846  ed: UNIVERSIDAD DE SAN BUENAVENTURA
v.1 fasc.1 p.15 - 28 ,2010,  DOI: 
Palabras:
Ingeniería de Software, Investigación, Juegos de computador,
Sectores:
Desarrollo de programas (software) y prestación de servicios en informática - Consultoría en sistemas de informática, Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),

ALEXEI SERNA A., "Timeline of Computer Science" . En: Colombia 
Lámpsakos  ISSN: 2145-4086  ed: Fundación Universitaria Luis Amigó
v.NA fasc.3 p.86 - 94 ,2010,  DOI: 
Palabras:
Ciencias Computacionales, Computación, Investigación,
Sectores:
Educación - Educación superior,

ALEXEI SERNA A., EDGAR SERNA M., ROBERTO CARLOS GUEVARA CALUME, "Can it define what is content from the information management?" . En: Colombia 
Revista General de Informacion y Documentacion  ISSN: 1132-1873  ed: Cesic Universidad Complutense De Madrid
v.27 fasc.1 p.201 - 218 ,2017,  DOI: http://dx.doi.org/10.5209/RGID.56567
Palabras:
Conocimiento, Investigación, Ciencia,

ALEXEI SERNA A., EDGAR SERNA M., "Knowledge meaning and management in requirements engineering" . En: Países Bajos 
International Journal of Information Management  ISSN: 0268-4012  ed: Elsevier Science
v.37 fasc.3 p.155 - 161 ,2017,  DOI: https://doi.org/10.1016/j.ijinfomgt.2017.01.005
Palabras:
Conocimiento, Investigación,

ALEXEI SERNA A., EDGAR SERNA M., "Complejidad y Pensamiento Complejo para innovar los procesos formativos en ingeniería" . En: Estados Unidos 
Revista Iberoamericana En Sistemas, Cibernética E Informática  ISSN: 1690-8627  ed: International Institute Of Informatics And Systemics
v.14 fasc.1 p.48 - 55 ,2017,  DOI: 
Palabras:
Conocimiento, Formación, Ingeniería,

ALEXEI SERNA A., EDGAR SERNA M., "Science and Disciplinarity" . En: Colombia 
Entramado  ISSN: 1900-3803  ed: Universidad Libre
v.12 fasc.1 p.152 - 162 ,2016,  DOI: http://dx.doi.org/10.18041/entramado.2016v12n1.23111
Palabras:
Conocimiento, Ciencia, Investigación,

EDGAR SERNA M., ALEXEI SERNA A., "Framework to elicit multidimensional requirements" . En: Colombia 
Ingenieria y Universidad  ISSN: 2011-2769  ed: Pontificia Universidad Javeriana
v.22 fasc.2 p.1 - 13 ,2018,  DOI: 10.11144/Javeriana.iyu22-2.femr
Palabras:
Ciencias Computacionales, Formalización, Ingeniería de Software,

ALEXEI SERNA A., EDGAR SERNA M., "A framework for knowledge management in requirements engineering" . En: Reino Unido 
International Journal of Knowledge Management Studies  ISSN: 1743-8276  ed: Inderscience Publishers
v.9 fasc.1 p.31 - 50 ,2018,  DOI: 10.1504/IJKMS.2018.089694
Palabras:
Ciencias Computacionales, Ingeniería de Software, Modelos computacionales,

Libros

ALEXEI SERNA A., EDGAR SERNA M., "La internacionalización como visión prospectiva de formación" En: Colombia 2016.  ed:Editorial Instituto Antioqueño de Investigación  ISBN: 978-958-59127-2-4  v. pags. 
Palabras:
Formación, Investigación,
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),

Capitulos de libro

Textos en publicaciones no científicas

ALEXEI SERNA A., PIEDAD MARIA METAUTE PANIAGUA, "Software metrics, tools quantifiable support to implement of decisions" En: Colombia. 2015. Actas De Ingeniería. ISSN: 2463-0128 p.208 - 2013 v.1
Palabras:
Ingeniería de Software, Software, Software testing,
Areas:
Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,

ALEXEI SERNA A., EDGAR SERNA M., "Knowledge in Engineering: A View from the Logical Reasoning" En: Sudáfrica. 2015. International Journal Of Computer Theory And Engineering. ISSN: 1793-8201 p.325 - 331 v.7
Palabras:
Ingeniería, Conocimiento, Tecnología,
Areas:
Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,

Documentos de trabajo

ALEXEI SERNA A., EDGAR SERNA M., "La formación en ingeniería en Colombia: Una situación que preocupa" En: . 2013. p.
Areas:
Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedagogía),

Informes de investigación

ALEXEI SERNA A., EDGAR SERNA M., Informe avance 2: Iniciativas de investigacion y desarrollo para innovar los procesos formativos en el siglo XXI . En: ,  ,2015, 

ALEXEI SERNA A., Informe final Las Matemáticas en las Ciencias Computacionales . En: ,  ,2012, 

ALEXEI SERNA A., Informe final Formalización de la Ingeniería de Requisitos . En: ,  ,2011, 

ALEXEI SERNA A., Informe final La Ingeniería de Requisitos para el siglo XXI . En: ,  ,2012, 

ALEXEI SERNA A., Informe final Prospectiva de la investigación y de la experimentación en procesos de automatización de las pruebas del software . En: ,  ,2013, 

ALEXEI SERNA A., EDGAR SERNA M., Informe avance 1: Iniciativas de investigación y desarrollo para innovar los propcesos formativos en el siglo XXI . En: ,  ,2014, 

ALEXEI SERNA A., Informe final: Diseño de un modelo semiformal para documentar la elicitación de requisitos . En: ,  ,2015, 

ALEXEI SERNA A., Infrme final: Desarrollo y gestión de requisitos - Una revisión al estado del arte . En: ,  ,2015, 

ALEXEI SERNA A., Informa Avance 1. Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina. . En: ,  ,2016, 

ALEXEI SERNA A., Informe de avance 2: Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina. . En: ,  ,2016, 

ALEXEI SERNA A., Informe de avance 1: Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos . En: ,  ,2016, 

ALEXEI SERNA A., Informe de avance 2: Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos . En: ,  ,2016, 

ALEXEI SERNA A., Avance 2: Neurocomputación y memoria: Análisis comparativo entre las realidades humano y computacional . En: ,  ,2017, 

ALEXEI SERNA A., Avance 2: Realidad de la ingeniería: Un análisis al pasad, el presente y el futuro de la disciplina . En: ,  ,2017, 

ALEXEI SERNA A., Final: Realidad de la ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina . En: ,  ,2018, 

ALEXEI SERNA A., Avance 1: Diseño y estructuración de un modelo de enseñanza para la nueva generación . En: ,  ,2018, 

Proyectos

Tipo de proyecto: Investigación, desarrollo e Innovación 
Marco de trabajo para la gestión de la innovación y el aprovechamiento de las nuevas tecnologías en la industria
Inicio: Mayo  2018 Duración 
Resumen

El objetivo es estructurar un marco de trabajo para ayudarle a la industria a gestionar la innovación con el propósito de integrar y aprovechar las nuevas tecnologías (Industria 4.0) en su entorno productivo.

Tipo de proyecto: Investigación y desarrollo 
Neurocomputación y memoria: Análisis comparativo entre las realidades humana y computacional
Inicio: Marzo  2016 Duración 
Resumen

Se busca revolucionar el sistema de educación.

Tipo de proyecto: Investigación y desarrollo 
Diseño y estructuración de un modelo de enseñanza para la nueva generación
Inicio: Enero  2018 Duración 
Resumen

Se busca estructurar y validar un modelo de enseñanza para atender las demandas y expectativas de la nueva generación en lo que tiene que ver con la educación.

Tipo de proyecto: Investigación, desarrollo e Innovación 
Diseño de un modelo de Gestión del Conocimiento en la Ingeniería de Requisitos
Inicio: Febrero  2016 Fin: Diciembre  2017 Duración 
Resumen

La investigación en la gestión del conocimiento se centra en el desarrollo de conceptos, métodos y herramientas de apoyo a la gestión del conocimiento humano. El objetivo de este proyecto es examinar los conceptos que se han utilizado en la Ingeniería de Requisitos para representar, gestionar y aprovechar el conocimiento que se genera en sus diferentes etapas. Para luego relacionar las técnicas mediantes un proceso de análisis desde la práctica y la teoría de las ciencias de la información, e integrar y proponer un modelo de gestión del conocimiento en el que se involucre la complejidad y la multidimensionalidad de esta fase de la Ingeniería de Software.

Tipo de proyecto: Investigación y desarrollo 
Realidad de la Ingeniería: Un análisis al pasado, el presente y el futuro de la disciplina.
Inicio: Julio  2016 Fin: Diciembre  2017 Duración 
Resumen

La ingeniería es la disciplina profesional que más le aporta al desarrollo de las naciones, pero en las últimas décadas perdió protagonismo a causa de una serie de factores que impiden su crecimiento. Se evidencian cuestiones como la apertura desmedida de programas que, en la mayoría de casos se podrían ofrecer como especializaciones, o que son carreras tendientes a obtener un título de profesión. Asimismo, la pérdida de credibilidad debido a los llamados fracasos ingenieriles; el poco valor que la sociedad tiene por los ingenieros; el que los estudiantes no tengan esta disciplina entre sus preferidas para una carrera universitaria; entre otras. El objetivo de este proyecto es mostrar una visión diferente a la que se refleja hoy de la ingeniería, redactando un texto que ilustre su pasado, presente y futuro, a través de un análisis a sus dimensiones e interrelaciones. Mediante una amplia revisión de la literatura y aportes personales basados en la experiencia docente e investigativa de los participantes, se busca estructurar, escribir y editar un libro, en el que se plasme este análisis.

Tipo de proyecto: Investigación y desarrollo 
Diseño de un modelo semi-formal para documentar la elicitación de requisitos
Inicio: Febrero  2014 Fin: Noviembre  2014 Duración 
Resumen

La Ingeniería de Requisitos (IR) se considera la fase más importante del ciclo de vida de los productos software, porque en ella se especifican las necesidades de los clientes, que a su vez es la base para la ejecución de las demás fases. La IR se subdivide en etapas, de cuya completitud se desprende la calidad y fiabilidad del producto final. Esas etapas son: 1) Temprana, 2) Elicitación, 3) Desarrollo, 4) Gestión y 5) Especificación, entre las que la Elicitación cobra importancia porque en ella los ingenieros trabajan con los clientes y usuarios para comprender sus necesidades. Los modelos que actualmente se utilizan para llevar a cabo esta etapa se han centrado en las técnicas para colectar esa información, y se han propuesto y documentado ampliamente. Pero a la cuestión de documentar adecuadamente esas necesidades, llamadas requisitos, no se ha prestado la atención necesaria y se continúa utilizando el lenguaje natural como forma de comunicación y comprensión. Debido a la diversidad de ambigüedades que este tipo de lenguaje genera se dificulta una adecuada comprensión y en muchas ocasiones se debe retornar desde fases posteriores a complementar lo que ya se ha elicitado.

Tipo de proyecto: Investigación y desarrollo 
Formalización de la Ingeniería de Requisitos
Inicio: Febrero  2010 Fin: Enero  2011 Duración 
Resumen

Se busca la mejor forma de formalizar el proceso de la Ingeniería de Requisitos

Tipo de proyecto: Investigación y desarrollo 
La Ingeniería de Requisitos para el siglo XXI
Inicio: Febrero  2010 Fin: Enero  2012 Duración 
Resumen

La IR es un área de la IS que debe evolucionar de acuerdo con los desafíos que plantean los problemas de este siglo y debe ofrecer metodología claras y científicas para obtener de forma precisas las necesidades de los clientes. Este proyecto tiene como objetivo describir cómo hacer IR para el siglo XXI.

Tipo de proyecto: Extensión y responsabilidad social CTI 
Iniciativas de investigación y desarrollo para innovar los procesos formativos en el siglo XXI
Inicio: Febrero  2014 Duración 
Resumen

En la mayoría de países, los procesos formativos son el reflejo en las instituciones educativas de las políticas estatales relacionadas. Pero, debido a las continuas revoluciones científicas, a la velocidad de los desarrollos tecnológicos, y a los problemas cada vez más complicados que enfrenta la Sociedad de la Información y el Conocimiento, dichos procesos se deben evaluar y replantear cada cierto tiempo. Muchos países no han detectado esta necesidad y continúan trabajando con modelos formativos de la Era Industrial, mientras que otros se dieron cuenta hace décadas y comenzaron proyectos de mejoramiento y de innovación permanente. Con el objetivo de analizar las buenas prácticas que han desarrollado e implementado estos países, y para conocer y validar las que pueden surgir desde otros, surgió este macro-proyecto internacional. La idea central consiste en convocar a la presentación de iniciativas orientadas a innovar los procesos formativos en cualquier país del mundo; cada una se debe organizar como un proyecto de investigación o desarrollo, patrocinado por una institución, cuyo producto sea una iniciativa innovadora. Luego serán presentadas a las diferentes comunidades para su validación y experimentación, un proceso en el que se retroalimenta continuamente para alcanzar la mejor estructura posible, y luego se socializará para su aplicación respectiva.

Tipo de proyecto: Investigación, desarrollo e Innovación 
Las Matemáticas en las Ciencias Computacionales
Inicio: Febrero  2011 Fin: Diciembre  2011 Duración 11
Resumen

Buscar la relación entre las matemáticas y las Ciencias Computacionales es un paso importante para formalizar los procesos del desarrollo de software.

Tipo de proyecto: Investigación, desarrollo e Innovación 
Prospectiva de la investigación y de la experimentación en procesos de automatización de las pruebas del software
Inicio: Enero  2012 Fin: Diciembre  2012 Duración 
Resumen

Debido a la masiva utilización y necesidad del software, la calidad es una caracterísitica inherente a sus productosa. El objetivo de esta investigación es indagar por el estado actual y la prospectiva de la investigación en los procesos de automatización de las pruebas, como uno de los componentes que asegura la calidad de los productos software.

Tipo de proyecto: Investigación y desarrollo 
Desarrollo y Gestión de Requisitos: Una revisión al Estado del Arte
Inicio: Agosto  2014 Fin: Diciembre  2015 Duración 
Resumen

En la literatura se proponen diferentes modelos para gestionar la Ingeniería de Requisitos, los cuales presentan ventajas y desventajas al momento de especificar adecuadamente las necesidades del cliente. Con el objetivo de determinar las buenas prácticas de estos modelos, se plantea realizar una investigación para realizar una revisión a la literatura, y poder valorar las características y potencialidades de los más populares. Se parte de la hipótesis de que un modelo para gestionar la Ingeniería de Requisitos debería reunir las buenas prácticas de los modelos analizados, y potencializarlas con aportes desde otras áreas del conocimiento, como los métodos formales, la matemática discreta, la lógica, la abstracción, y otras relacionadas. Esto se debe a que los problemas actuales son más complejos y complicados que antes, la seguridad se ha convertido en un asunto clave, las modificaciones son cotidianas, y los tiempos de entrega de los productos software se han acortado drásticamente, a la vez que los presupuestos se deben ajustar a su vida útil. Pero, en la práctica, los ingenieros de software parecen no contar con una herramienta que les permita responder a estos desafíos, porque los productos software todavía presentan deficiencias en seguridad, calidad y fiabilidad, y la Ingeniería de Requisitos es responsable de la mayoría de ellas.

Tipo de proyecto: Investigación y desarrollo 
La ingenieria en crisis: Caso la formación en ingenieria en Colombia
Inicio: Febrero  2012 Fin proyectado: Noviembre  2012 Fin: Diciembre  2012 Duración 10
Resumen

La ingeniería está en crisis en el mundo, así lo afirman los gobiernos, las universidades, los investigadores y las estadísticas que se divulgan en los reportes relacionados. En este proyecto se analiza la situación colombiana a través de un estudio a los programas que se ofrecen en ingeniería en el país. Se busca encontrar respuestas en lo que tiene que ver con intereses de los estudiantes, ofertas de las instituciones, perfiles para los egresados, necesidades de la industria y alternativas para aportar a la solución de esta crisis.

Tipo de proyecto: Investigación y desarrollo 
Diseño e implementación de Objetos Virtuales de Aprendizaje ‒OVA‒ con Software Libre OpenGis, aplicando el aprendizaje basado en problemas, para la formación específica en Sistemas de Información Geográfica
Inicio: Febrero  2011 Fin proyectado: Diciembre  2011 Fin: Diciembre  2011 Duración 11
Resumen

Es claro entonces que los Objetos Virtuales de Aprendizaje ¿OVAs¿ son una temática de gran actualidad, con una pertinencia y necesidad reconocidas a nivel nacional e internacional. Se destaca la Red de conocimiento Colombia Aprende, liderada por El Ministerio de Educación Nacional

Tipo de proyecto: Investigación y desarrollo 
Análisis a la integración de la Inteligencia Artificial, las Redes Neuronales y la Realidad Virtual en la automatización de las pruebas del software
Inicio: Febrero  2017 Fin: Diciembre  2017 Duración 
Resumen

Se busca mejorar la calidad del software.

Tipo de proyecto: Investigación y desarrollo 
Pedagogía y videojuego: otra forma de ver la relación
Inicio: Enero  2010 Fin: Enero  2011 Duración 12
Resumen

En este proyecto se hace una revisión a los procesos formativos que tienen como base la utilización de los video juegos como procesos didácticos.