SELECTED PRODUCTION

Articles

  • Knowledge meaning and management in requirements engineering. International Journal of Information Management 37(3), pp. 155-161. 2017.
  • Complejidad y Pensamiento Complejo para innovar los procesos formativos en ingeniería. Revista Sistemas, Cibernétia e Informática 14(1), pp. 48-55. 2017.
  • A model for determining the maturity of automation of software testing as a research and development area. Revista Computación y Sistemas 21(2), In press. 2017.
  • Complejidad y Sistemas Adaptativos Complejos: Una relación para desarrollar el paradigma del Pensamiento Complejo. Revista Diológica 14(1), In press. 2017.
  • Can it define what is content from the information management? Revista General de Información y Documentación 27(1), In press. 2017.
  • Power and limitations of formal methods for software fabrication: Thirty years later. Informatica 41(2), In press. 2017.
  • Document requirements elicitation: A systematic review. Ingeniare - Revista Chilea de Ingeniería 24(4). pp. 703-714. 2016.
  • Science and Disciplinarity. Revista Entramado 12(1), pp. 152-162. 2016.
  • Transdisciplinarity in Paulo Freire thinking. Revista de Humanidades 33, pp. 313-343. 2016.
  • Maturity model of transdisciplinary knowledge management. International Journal of Information Management 35(6), pp. 647-654. 2015.
  • Knowledge in engineering: A View from the Logical Reasoning. International Journal of Computer Theory and Engineering 7(4), pp. 325-331. 2015.
  • Crisis of engineering in Colombia - State of the art. Revista Ingeniería y Competitividad 17(1), pp. 63- 74. 2015.
  • Disciplinary building of scientific knowledge. Revista Científica 22, pp. 1-27. 2015.
  • Ontology for knowledge management in software maintenance. International Journal of Information Management 34(5), pp. 704-710. 2014.
  • Formal specification in context - Current and future. Ingeniare. Revista Chilena de Ingeniería 22(2), pp. 243-256. 2014.
  • Logic and abstraction in engineering education: A necessary relationship. Revista Ingeniería Investigación y Tecnología XV( 2), pp. 299-310. 2014.
  • Approach to logic and bstraction in the engineering training. Revista Internacional de Educación y Aprendizaje 2(1), pp. 35-47. 2014
  • A view of the relationship between Literary subgenres and Object Oriented Programming. Revista Internacional de Educación y Aprendizaje 2(2), pp. 51-69. 2014.
  • State of the art in the research of formal verification. Revista Ingeniería Investigación y Tecnología XV(4), pp. 615-623. 2014.
  • Strategic principles of free software and its relation with process reengineering. Revista Virtual Universidad Católica del Norte 42, pp. 197-206. 2014.
  • Philosophy in Latin American history. Revista Cuestiones de Filosofía, No. 15, pp. 171-198. 2013.
  • A review processes for science, technology and innovation. Revista Entramado, Vol. 9, No. 1, pp. 172-187. 2013.
  • Logic in Computer Science. Revista Educación en Ingeniería, Vol. 8, No. 15, pp. 62-68. 2013.
  • The role of software engineering products on problem of climate change. Revista Gerencia Tecnológica Informática, Vol. 12, No. 32, pp. 79- 85. 2013.
  • Is it in crisis engineering in the world? A literature review. Rev. Fac. Ing. Univ. Antioquia, No. 66, pp. 197-206. 2013.
  • An evaluation of free tools for software testing. Revista Virtual Universidad Católica del Norte, No. 37, pp. 44-61. 2012.
  • Current State of research on non-functional requirements. Revista Ingeniería y Universidad, Vol. 16, No. 1, pp. 225-246. 2012.
  • Maturity Model of Knowledge Management in the Interpretativist Perspective. International Journal of Information Management, Vol. 32, No. 4, pp. 365- 371. 2012.
  • Software testing: More than a stage in the life cycle. Revista de Ingeniería, No. 35, pp. 34-40. 2011.
  • Challenges and practical strategies of the empirical studies on software testing techniques. Revista Ingeniería y Competitividad, Vol. 13, No. 1, pp. 141-146. 2011.
  • Abstraction as a critical component in Computer Science training. Revista Avances en Sistemas e Informática, Vol. 8, No. 3, pp. 79-83. 2011.
  • Formal methods and Software Engineering. Revista Virtual Universidad Católica del Norte, No. 30. 2010.
  • Critical analysis of proposals to generate test cases from use cases for functional testing. Revista Avances en Sistemas e Informática, Vol. 7, No. 2, pp. 105-113. 2010.

  • Books

  • Desarrollo e Innovación en Ingeniería (1a edition). Editor. 2016.
  • La internacionalización como visión prospectiva de formación. Co-author. 2016.
  • Avances en ingeniería. Editor. 2015.
  • Ciencia y Pensamiento Complejo - Desarrollo Transdisciplinar de un Paradigma. Author. 2015.
  • Por qué falla el sistema de educación. Author. 2015.
  • Los ambientes virtuales de aprendizaje (AVA) y la formación en estadística. Co-author. 2015.
  • La capacidad lógico-interpretativa y abstractiva. Author. 2015.
  • Prueba funcional del software - Un proceso de Verificación constante. Author. 2013.
  • Manifiesto por la Profesionalización del Desarrollo de Software. Editor. 2013.
  • Libro Blanco de la Ingeniería de Software en América Latina. Editor. 2013.
  • Proceedings Latin American Congress on Requirements Engineering & Software Testing. Editor. 2012.
  • De las competencias, la formación, la investigación y otras: Visiones de reflexión. Author. 2011.
  • Memorias Congreso Colombiano de Ingenierías Verdes. Co-author. 2011.
  • III Jornadas de Investigación Facultad de Ingenierías. Co-author. 2011.
  • Estado de la Implementación, Desarrollo y Soporte al año 2004 de Plataformas GNU/GPL... Co-author. 2006.

  • Presentations

  • Complejidad y Pensamiento Complejo para innovar los procesos formativos en ingeniería. Marzo 21-24. Orlando, USA. 2017.
  • Development and management requirements: Results of a literature review.8th Euro American Conference on Telematics and Information Systems. April 27-29. Cartagena, Colombia. 2016.
  • MoDeMaRE - Modelo para desarrollar y gestionar la Ingeniería de Requisitos. I Simposio de Investigación Uniremington. Diciembre 10-12. Medellín, Colombia. 2016.
  • Madurez actual del desarrollo de la automatización de las pruebas del software. I Simposio de Investigación Uniremington. Diciembre 10-12. Medellín, Colombia. 2016.
  • Software testing is more than an emergency plan. 2nd International Conference on Communication Technology. January 19-20. Melbourne, Australia. 2015.
  • La internacionalización del currículo: Una estrategia de desarrollo y calidad. Encuentro Internacional de Educación en Ingeniería ACOFI. Septiembre 15-18. Cartagena, Colombia. 2015.
  • Ingeniería y matemáticas: Realidad de una relación histórica. III Encuentro Internacional de Ciencias Básicas. Septiembre 3-4. Pereira, Colombia. 2015.
  • Perspective and application of the formal methods. XIII Conferencia Iberoamericana en Sistemas, Cibernética e Informática (CISCI). Julio 15-18. Orlando, USA. 2014.
  • Formal methods in context. XIII Conferencia Iberoamericana en Sistemas, Cibernética e Informática (CISCI). Julio 15-18 Jul. Orlando, USA. 2014.
  • Knowledge in Engineering. 3rd International Conference on Knowledge Discovery. January 7-8. Bangkok, Thailand. 2014.
  • Necesidad de la lógica y la abstracción en la formación de ingenieros. XX International Conference on Learning. Julio 11-13. Rhodes, Greece. 2013.
  • Especificación formal - Presente y futuro. XV International Convention and Fair Informatica. Marzo 18-22. La Habana, Cuba. 2013.
  • Investigación en verificación formal - Estado del arte. XV International Convention and Fair Informatica. Marzo 18-22. La Habana, Cuba. 2013.
  • SEDLO: Software Engineering for developing learning objects. Euro American Conference on Telematics and Information Systems (EATIS). Mayo 23-25. Valencia, España. INVITED PAPER. 2012.
  • Social control for science and technology. Tenth Latin American and Caribbean Conference for Engineering and Technology (LACCEI). Julio 23-27 Julio. Panamá, Panamá. 2012.
  • Analysis of the impact of open source testing tools in current technological development. Euromediterranean Scientific Congress on Engineering (EMSCE). Mayo 19-20. Algeciras, España. 2011.
  • Problems, processes and institutional mechanisms to promote innovation in training and learning. VI Congreso Internacional de la Red de Investigación y Docencia en Innovación Tecnológica (RIDIT). Abril 13-15. Manizales, Colombia. 2011.
  • Application of ICT in the process of innovation and development of the MiPyMe in Medellin city. Congreso Ingeniería Argentina. Octubre 17-20. Buenos Aires, Argentina. 2010.
  • Effectiveness analysis of the set of test cases generated with the Requirements by Contracts technique. V Congreso Colombiano de Computación. Abril 14-16. Cartagena, Colombia. 2010.
  • Estado de la implementación, desarrollo y soporte al año 2004 de plataformas GNU/GPL en el Sector Solidario y PYMES del Área Metropolitana de Medellín. III Congreso Internacional de Software Libre. Abril 21-23. Medellín, Colombia. 2004.

  • Speaker

  • Ciencia y filosofía: Una relación histórica. VII Conferencia Iberoamericana de Complejidad, Informática y Cibernética. Marzo 23. Orlando, USA.
  • Crisis de la ingeniería en el siglo XXI. X Jornada de Ingeniería. Universidad de Cundinamarca. Junio 29-30. Fusagasugá, Colombia. 2015.
  • Cloud Computing: Past, present and future. Tercera semana de la Ingeniería. Escuela de Administración y Mercadotecnia del Quindío. Agosto 19-21. Armenia, Colombia. 2015.
  • Qué es esa cosa llamada Ingeniería. Celebración del día del Ingeniero. Universidad Santo Tomás. Mayo 28. Medellín, Colombia. 2015.
  • Ingeniería ética. Conmemoración 200 años de la primera cátedra de Ingeniería en Colombia. Colciencias. Octubre 20. Medellín, Colombia. 2014.
  • La reingeniería de procesos a la luz de los principios estratégicos del software libre. Seminario Internacional de Ingeniería y Competitividad: Software Libre. Octubre 17. Medellín, Colombia. 2014.
  • Contexto teórico y finalidad de la Investigación formativa. Segundo encuentro nacional de investigadores. Corporación Universitaria Remington. Septiembre 15-17. Medellín, Colombia. 2014.
  • Un análisis al estado actual de la formación en ingeniería. Suma Convención Científica Colombiana. Julio 02-04. Cartagena, Colombia. 2014.
  • Educar o formar en el Siglo XXI: He ahí el dilema. TEDx: El valor de las ideas. Mayo 22. Bogotá, Colombia. 2014.
  • La gestión del conocimiento desde las Ciencias Sociales. Semana Nacional de Ciencia y Tecnología Colciencias. Octubre 5-7. Medellín, Colombia. 2010.
  • Software libre y responsabilidad social. Foro Libertad, Democracia y Software Libre. Abril 23. U de A. Medellín, Colombia. 2009.
  • Ciencia, Filosofía y Teología: Antagonismo o Simbiosis. Cátedra abierta. Abril 21. Medellín, Colombia. 2008.