Hoja de vida

Par evaluador reconocido por Colciencias.
Categoría Investigador Senior (IS) (con vigencia hasta 2019-05-20 00:00:00.0) - Convocatoria 737 de 2015
Nombre Alexei Serna A.
Nombre en citaciones SERNA A., ALEXEI
Nacionalidad Colombiana
Sexo Masculino

Formación Académica

  •  
  • Pregrado/Universitario UNIVERSIDAD CATOLICA LUIS AMIGO
    Ingeniería de Sistemas
    Agostode2008 - Juniode 2013
    Práctica

    Experiencia profesional

  •  
  • CORPORACION UNIVERSITARIA REMINGTON
    Dedicación: 24 horas Semanales Agosto de 2014 de Actual

    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  Apropiación y utilización de las métricas en medianas empresas de software de la ciudad de Medellín Enero 2015 Noviembre 2015
    -   Investigación y Desarrollo - Titulo:  Desarrollo y Gestión de Requisitos: Una revisión al Estado del Arte Agosto 2014 Agosto 2015
  •  
  • INSTITUTO ANTIOQUENO DE INVESTIGACION
    Dedicación: 20 horas Semanales Marzo de 2010 de Actual

    Actividades de administración
    -  Jefe de departamento - Cargo: Jefe de departamento Marzo de 2010 de
    Actividades de investigación
    -   Investigación y Desarrollo - Titulo:  Ideas de investigación y desarrollo para innovar los procesos formativos en el siglo XXI Mayo 2014 Abril 2017
    -   Investigación y Desarrollo - Titulo:  Crisis de la Ingeniería. Caso: la formación en ingeniería en Colombia. Julio 2012 Junio 2013
    -   Investigación y Desarrollo - Titulo:  La ingeniería de Requisitos para el siglo XXI Enero 2011 Noviembre 2011
    -   Investigación y Desarrollo - Titulo:  Las matemáticas en las Ciencias Computacionales Enero 2011 Noviembre 2011
    -   Investigación y Desarrollo - Titulo:  Formalización de la Ingeniería de Requisitos Julio 2010 Diciembre 2010
    -   Investigación y Desarrollo - Titulo:  Análisis, investigación y gestión de conocimiento Marzo 2010

    Áreas de actuación

  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Idiomas

      Habla Escribe Lee Entiende
  •  Español
  • Bueno Bueno Bueno Bueno
  •  Inglés
  • Aceptable Aceptable Aceptable Aceptable

    Lineas de investigación

  •  Ingeniería de Software, Activa:Si
  •  Ciencias Computacionales, Activa:Si
  •  Sistemas de Información y Sociedad del Conocimiento, Activa:Si
  •  
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
     

    Eventos científicos

    1 Nombre del evento: II JORNADAS DE INVESTIGACION FACULTAD DE INGENIERIAS JOIN 2010  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2010-10-06 00:00:00.0,  2010-10-07 00:00:00.0   en MEDELLÍN   - Medellín  
    Productos asociados
    • Nombre del producto:Review research process in SE of the computer games Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE SAN BUENAVENTURA SEDE MEDELLIN USBMED Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento:
    • Nombre: EDGAR SERNA M Rol en el evento:
    2 Nombre del evento: FERIA DEL CONOCIMIENTO FUNLAM 2011  Tipo de evento: Otro  Ámbito: Nacional  Realizado el:2011-10-21 00:00:00.0,  2011-10-21 00:00:00.0   en MEDELLÍN   - Medellín  
    Productos asociados
    • Nombre del producto:Utilización de las TIC para estructurar procesos formativos innovadores a nivel de la básica primaria Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD CATOLICA LUIS AMIGO Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento:
    3 Nombre del evento: 15TH INTRERNATIONAL CONVENTION AND FAIR INFORMATICA 2013  Tipo de evento: Otro  Ámbito: Internacional  Realizado el:2013-03-18 00:00:00.0,  2013-03-22 00:00:00.0   en La Habana   - La Habana, Cuba  
    Productos asociados
    • Nombre del producto:Research on Formal Verification - A State of the Art Tipo de producto:Producción bibliográfica - Libro - Capítulo de libro
    • Nombre del producto:Formal Specification - Present and Future Tipo de producto:Producción bibliográfica - Libro - Capítulo de libro
    • Nombre del producto:Especificacion Formal - Presente y futuro Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LAS CIENCIAS INFORMATICAS Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento:
    • Nombre: EDGAR SERNA M Rol en el evento:
    4 Nombre del evento: 15th International Convention and Fair Informatica 2013  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2013-03-18 00:00:00.0,  2014-11-22 00:00:00.0   en La Habana   - La Habana, Cuba  
    Productos asociados
    • Nombre del producto:La investigación en Verificación Formal - Un estado del arte Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LAS CIENCIAS INFORMATICAS Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    5 Nombre del evento: Tercer Encuentro Internacional sobre la Enseñanza de las Ciencias Exactas y Naturales   Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2015-09-03 00:00:00.0,  2015-09-04 00:00:00.0   en PEREIRA   - Pereira  
    Productos asociados
    • Nombre del producto:Engineering and mathematics: Reality of historical relationship Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:CORPORACION UNIVERSITARIA REMINGTON Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente magistral
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente magistral
    6 Nombre del evento: Encuentro internacional de educación en Ingeniería ACOFI 2015  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2015-09-15 00:00:00.0,  2015-09-18 00:00:00.0   en CARTAGENA DE INDIAS   - Cartagena  
    Productos asociados
    • Nombre del producto:La internacionalización del currículo: Una estrategia de desarrollo y calidad Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:CORPORACION UNIVERSITARIA REMINGTON Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente magistral
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente magistral
    7 Nombre del evento: 3rd International Conference on Knowledge Discovery (ICKD 2014)  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2014-06-07 00:00:00.0,  2014-06-08 00:00:00.0   en Bangkok   - Bangkok, Thailand  
    Productos asociados
    • Nombre del producto:Knowledge in engineering Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:INTERNATIONAL ASSOCIATION OF COMPUTER SCIENCE AND INFORMATION TECHNOLOGY Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    8 Nombre del evento: Décima Tercera Conferencia Iberoamericana en Sistemas, Cibernética e Informática - CISCI 2014  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2014-07-15 00:00:00.0,  2014-07-18 00:00:00.0   en Orlando, FL   - Orlando, FL, USA  
    Productos asociados
    • Nombre del producto:Perspective and Application of the Formal Methods Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    • Nombre del producto:Formal Methods in Context Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    • Nombre del producto:Formal Methods in Context Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    • Nombre del producto:Perspective and Application of the Formal Methods Tipo de producto:Producción bibliográfica - Trabajos en eventos (Capítulos de memoria) - Completo
    Instituciones asociadas
    • Nombre de la institución:INTERNACIONAL INSTITUTE OF INFORMATICS AND SYSTEMICS Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    9 Nombre del evento: VI Congreso Internacional de Ciencia y Sociedad  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2014-10-10 00:00:00.0,  2014-10-11 00:00:00.0   en Vancouver   - Vancouver, Canada  
    Productos asociados
    • Nombre del producto:Ciencia, Tecnología e Innovación - Procesos y Sociedad Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:COMMON GROUND Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    10 Nombre del evento: Encuentro Internacional de Educación en Ingeniería - ACOFI 2014  Tipo de evento: Congreso  Ámbito: Nacional  Realizado el:2014-10-07 00:00:00.0,  2014-10-10 00:00:00.0   en CARTAGENA DE INDIAS   - Cartagena, Colombia  
    Productos asociados
    • Nombre del producto:Una radiografía al estado de la formación en ingeniería en Colombia Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:ASOCIACION COLOMBIANA DE FACULTADES DE INGENIERIA ACOFI Tipo de vinculaciónGestionadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    11 Nombre del evento:  I Conferencia Científica Internacional - UCIENCIA  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2014-04-24 00:00:00.0,  2014-04-26 00:00:00.0   en La Habana   - La Habana, Cuba  
    Productos asociados
    • Nombre del producto:Scenarios, input values and context of use in software testing Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:UNIVERSIDAD DE LAS CIENCIAS INFORMATICAS Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente
    12 Nombre del evento: 2nd International Conference on Communication Technology   Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2015-01-19 00:00:00.0,  2015-01-20 00:00:00.0   en Melbourne   - Melbourne  
    Productos asociados
    • Nombre del producto:Software Testing is More than an Emergency Plan Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:INSTITUTO ANTIOQUENO DE INVESTIGACION Tipo de vinculaciónPatrocinadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente magistral
    • Nombre: EDGAR SERNA M Rol en el evento: Ponente magistral
    13 Nombre del evento: Conferencia Internacional de Ingeniería - Inngenio 2015  Tipo de evento: Congreso  Ámbito: Internacional  Realizado el:2015-10-27 00:00:00.0,  2015-10-29 00:00:00.0   en MEDELLÍN   - Medellín  
    Productos asociados
    • Nombre del producto:Métricas del software - Herramientas de apoyo cuantificables para la toma de decisiones Tipo de producto:Producción técnica - Presentación de trabajo - Ponencia
    Instituciones asociadas
    • Nombre de la institución:CORPORACION UNIVERSITARIA REMINGTON Tipo de vinculaciónPatrocinadora
    • Nombre de la institución:INSTITUTO ANTIOQUENO DE INVESTIGACION Tipo de vinculaciónGestionadora
    Participantes
    • Nombre: ALEXEI SERNA A Rol en el evento: Ponente magistral
    • Nombre: PIEDAD MARIA METAUTE PANIAGUA Rol en el evento: Ponente

    Redes de conocimiento especializado

    Nombre de la red Red Latinoamericana en Ingeniería de Software - RedLatinaIS  Tipo de redVirtual,  Creada el:2010-11-30 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 :Febrero - 2013, 

    Artículos

  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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 Publishers
    v.34 fasc.5 p.704 - 710 ,2014,  DOI: 10.1016/j.ijinfomgt.2014.06.005
    Palabras:
    Conocimiento, Formación, Investigación,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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: Unam Universidad Nacional Autonoma De Mexico
    v.15 fasc.4 p.615 - 623 ,2014,  DOI: 10.1007/s11043-. 007-9022-9
    Palabras:
    Ciencias Computacionales, Computación, Formalización, Verificación,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ALEXEI SERNA A, EDGAR SERNA M, "Formal specification in context: current and future" . En: Chile 
    Ingeniare : Revista Chilena De Ingeniería  ISSN: 0718-3305  ed: 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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),
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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 Publishers
    v.35 fasc.6 p.647 - 654 ,2015,  DOI: 10.1016/j.ijinfomgt.2015.07.002
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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 Seccional Cali
    v.9 fasc.1 p.172 - 187 ,2013,  DOI: 
    Palabras:
    Investigación, Ciencia, Conocimiento, Tecnología,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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),
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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),
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ALEXEI SERNA A, "Timeline of Computer Science" . En: Colombia 
    Lámpsakos  ISSN: 2145-4086  ed: Fondo Editorial Fundacion Universitaria Luis Amigo
    v.NA fasc.3 p.86 - 94 ,2010,  DOI: 
    Palabras:
    Ciencias Computacionales, Computación, Investigación,
    Sectores:
    Educación - Educación superior,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • 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 Información Y Documentación  ISSN: 1132-1873  ed: 
    v.27 fasc.1 p.201 - 218 ,2017,  DOI: http://dx.doi.org/10.5209/RGID.56567
    Palabras:
    Conocimiento, Investigación, Ciencia,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • EDGAR SERNA M, ALEXEI SERNA A, "Knowledge meaning and management in requirements engineering" . En: Países Bajos 
    International Journal Of Information Management  ISSN: 0268-4012  ed: Elsevier Science Publishers
    v.37 fasc.3 p.155 - 161 ,2017,  DOI: https://doi.org/10.1016/j.ijinfomgt.2017.01.005
    Palabras:
    Conocimiento, Investigación,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • EDGAR SERNA M, ALEXEI SERNA A, "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,
  • Producción bibliográfica - Artículo - Publicado en revista especializada
  • ALEXEI SERNA A, EDGAR SERNA M, "Science and Disciplinarity" . En: Colombia 
    Entramado  ISSN: 1900-3803  ed: Universidad Libre Seccional Cali
    v.12 fasc.1 p.152 - 162 ,2016,  DOI: http://dx.doi.org/10.18041/entramado.2016v12n1.23111
    Palabras:
    Conocimiento, Ciencia, Investigación,

    Libros

  • Producción bibliográfica - Libro - Libro resultado de investigación
  • EDGAR SERNA M, ALEXEI SERNA A, "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, Pedadogía),

    Capitulos de libro

  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "La internacionalización del currículo: Una estrategia de desarrollo y calidad" Memorias Eiei Acofi 2015 . En: Colombia  ISBN: 9789586800761  ed: Acofi Asociacion Colombiana De Facultades De Ing , v. , p.1 - 11  ,2015
    Palabras:
    Conocimiento, Formación, Investigación,
    Areas:
    Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedadogía),
    Sectores:
    Educación - Educación superior,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Perspective and Application of the Formal Methods" Memorias De La Décima Tercera Conferencia Iberoamericana En Sistemas, Cibernética E Informática Cisci 2014 . En: Estados Unidos  ISBN: 9781941763087  ed: International Institute Of Informatics And Systemics Iiis , v. , p.1 - 7  ,2014
    Palabras:
    Ciencias Computacionales, Computación, Formalización, Métodos formales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Formal Methods in Context" Memorias De La Décima Tercera Conferencia Iberoamericana En Sistemas, Cibernética E Informática Cisci 2014 . En: Estados Unidos  ISBN: 9781941763087  ed: International Institute Of Informatics And Systemics Iiis , v. , p.61 - 66  ,2014
    Palabras:
    Ciencias Computacionales, Formalización, Métodos formales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, "La Ingeniería de Software en América Latina" Libro Blanco De La Ingeniería De Software En América Latina . En: Colombia  ISBN: 978-958-46-3302-6  ed: Fondo Editorial Remington , v. , p.46 - 80  ,2013
    Palabras:
    Formación, Ingeniería de Software, Investigación, Software,
    Areas:
    Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedadogía),
    Sectores:
    Educación - Educación superior,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Contexto de la iniciativa libro blanco" Libro Blanco De La Ingeniería De Software En América Latina . En: Colombia  ISBN: 978-958-46-3302-6  ed: Fondo Editorial Remington , v. , p.10 - 22  ,2013
    Palabras:
    Ciencia, Ciencias Computacionales, Ingeniería de Software, Investigación,
    Areas:
    Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedadogía),
    Sectores:
    Educación - Educación superior,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Una radiografía al estado de la formación en Ingeniería en Colombia" Encuentro Internacional De Educación En Ingeniería Acofi 2014 . En: Colombia  ISBN: 9789586800754  ed: Asociacion Colombiana De Facultades De Ingenieria Acofi , v. , p.27 - 27  ,2014
    Palabras:
    Formación, Ingeniería, Conocimiento,
    Areas:
    Ciencias Sociales -- Ciencias de la Educación -- Educación General (Incluye Capacitación, Pedadogía),
    Sectores:
    Educación - Educación superior,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, Tipo: Capítulo de libro
    JORGE MAURICIO SEPULVEDA CASTANO, Tipo: Capítulo de libro
    ROBERTO CARLOS GUEVARA CALUME, "Software Testing is More than an Emergency Plan" 2nd International Conference On Communication Technology Icct 2015 . En: Australia  ISBN: 978-1-60595-236-9  ed: DEStech Publications , v. , p.45 - 54  ,2015
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    PIEDAD MARIA METAUTE PANIAGUA, "Métricas del software - Herramientas de apoyo cuantificables para la toma de decisiones" Avances En Ingenieria . En: Colombia  ISBN: 9789585912700  ed: Editorial Instituto Antioqueño de Investigación , v. , p.237 - 245  ,2015
    Palabras:
    Ciencia, Investigación, Ingeniería, Tecnología,
    Areas:
    Ingeniería y Tecnología -- Otras Ingenierías y Tecnologías -- Otras Ingenierías y Tecnologías,
    Sectores:
    Desarrollo de nuevos materiales,
  • Tipo: Capítulo de libro
    EDGAR SERNA M, Tipo: Capítulo de libro
    ALEXEI SERNA A, "Development and management requirements: Results of a literature review" 2016 8th Euro American Conference on Telematics and Information Systems (EATIS) . En: Colombia  ISBN: 978-1-5090-2436-0  ed: IEEE Publications , v. , p.1 - 8  ,2016
    Palabras:
    Ciencias Computacionales, Ingeniería, Ingeniería de Software,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "La Lógica en las Ciencias Computacionales" Décimo Simposium Iberoamericano En Educación, Cibernética E Informática . En: Estados Unidos  ISBN: 978-1-936338-91-7  ed: International Institute Of Informatics And Systemics Iiis , v. , p.44 - 49  ,2013
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación - Educación superior,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, "Desafios y oportunidades de la investigacion en metodos formales" The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics . En: Estados Unidos  ISBN: 978-1-936338-86-3  ed: Instituto Internacional De Informatica Y Sistemas Iiis , v. , p.44 - 44  ,2013
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Desafíos y Oportunidades de la Investigación en Métodos Formales" The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics . En: Estados Unidos  ISBN: 978-1-936338-86-3  ed: Instituto Internacional De Informatica Y Sistemas Iiis , v. , p.44 - 44  ,2013
    Palabras:
    Ciencias Computacionales, Métodos formales, Computación,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "La logica en las ciencias computacionales" The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics . En: Estados Unidos  ISBN: 978-1-936338-86-3  ed: Instituto Internacional De Informatica Y Sistemas Iiis , v. , p.57 - 57  ,2013
    Palabras:
    Computación, Ciencias Computacionales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "La logica en las ciencias computacionales" The 7th Lnternational Multi·Conference On Society, Cybernetics And Lnformatics . En: Estados Unidos  ISBN: 978-1-936338-86-3  ed: Instituto Internacional De Informatica Y Sistemas Iiis , v. , p.57 - 57  ,2013
    Palabras:
    Ciencias Computacionales, Conocimiento, Métodos formales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Educación - Educación superior,
  • Tipo: Otro capítulo de libro publicado
    ALEXEI SERNA A, Tipo: Otro capítulo de libro publicado
    EDGAR SERNA M, "Análisis a la eficiencia del conjunto de casos de prueba generados con la técnica Requirements by Contract" Memorias Del 5o Congreso Colombiano De Computación. Ccc2010 . En: Colombia  ISBN: 978-958-8387-40-6  ed: Universidad Tecnologica De Bolivar , v. , p.1 - 6  ,2010
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Desafíos y Oportunidades de la Investigación en Métodos Formales" Decima Segunda Conferencia Iberoamericana En Sistemas, Cibernética E Informatica. (Cisci 2013) . En: Estados Unidos  ISBN: 978-1-936338-84-9  ed: International Institute Of Informatics And Systemics Iiis , v. , p.81 - 86  ,2013
    Palabras:
    Ciencias Computacionales, Computación, Métodos formales,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "LA LÓGICA EN LAS CIENCIAS COMPUTACIONALES" Décimo Simposium Iberoamericano En Educación, Cibernética E Informática: Sieci 2013 . En: Estados Unidos  ISBN: 978-1-936338-85-6  ed: International Institute Of Informatics And Systemics , v. , p.44 - 49  ,2013
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Formal Specification - Present and Future" 15th International Convention And Fair Informatica 2013 . En: Cuba  ISBN: 978-959-7213-02-4  ed: Universidad de las Ciencias Informáticas , v. , p.1 - 13  ,2013
    Palabras:
    Formalización, Métodos formales, Verificación,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Capítulo de libro
    ALEXEI SERNA A, Tipo: Capítulo de libro
    EDGAR SERNA M, "Research on Formal Verification - A State of the Art" 15th International Convention And Fair Informatica 2013 . En: Cuba  ISBN: 978-959-7213-02-4  ed: Universidad de las Ciencias Informáticas , v. , p.1 - 9  ,2013
    Palabras:
    Ingeniería de Software, Métodos formales, Verificación,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Tipo: Otro capítulo de libro publicado
    ALEXEI SERNA A, Tipo: Otro capítulo de libro publicado
    EDGAR SERNA M, "Revisión a los procesos de investigación en la IS de los juegos de computador" Ii Jornadas De Investigación De La Facultad De Ingenierías . En: Colombia  ISBN: 978-95-88474-15-1  ed: Universidad San Buenaventura , v. , p.28 - 28  1 ,2010
    Palabras:
    Ingeniería de Software, Investigación, Juegos de computador,
    Areas:
    Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,
    Sectores:
    Desarrollo de programas (software) y prestación de servicios en informática - Desarrollo de programas (software),
  • Textos en publicaciones no científicas

  • Producción bibliográfica - Otro artículo publicado - Revista de divulgación
  • 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,
  • Producción bibliográfica - Otro artículo publicado - Revista de divulgación
  • EDGAR SERNA M, ALEXEI SERNA A, "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

  • Producción bibliográfica - Documento de trabajo (Working Paper)
  • 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, Pedadogía),

    Informes de investigación

  • Producción técnica - 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, 
  • Producción técnica - Informes de investigación
  • ALEXEI SERNA A, Infrme final: Desarrollo y gestión de requisitos - Una revisión al estado del arte . En: ,  ,2015, 
  • Producción técnica - Informes de investigación
  • ALEXEI SERNA A, Informe final: Diseño de un modelo semiformal para documentar la elicitación de requisitos . En: ,  ,2015, 
  • Producción técnica - Informes de investigación
  • ALEXEI SERNA A, Informe final Formalización de la Ingeniería de Requisitos . En: ,  ,2011, 
  • Producción técnica - Informes de investigación
  • ALEXEI SERNA A, Informe final La Ingeniería de Requisitos para el siglo XXI . En: ,  ,2012, 
  • Producción técnica - Informes de investigación
  • 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, 
  • Producción técnica - Informes de investigación
  • ALEXEI SERNA A, Informe final Las Matemáticas en las Ciencias Computacionales . En: ,  ,2012, 
  • Producción técnica - Informes de investigación
  • 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, 
  • Producción técnica - Informes de investigación
  • 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, 
  • Producción técnica - Informes de investigación
  • 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, 
  • Producción técnica - Informes de investigación
  • 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, 
  • Producción técnica - Informes de investigación
  • 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, 

    Proyectos

    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 
    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.