Información General

• Autores: Edgar Serna M. (ed. lit.)
• Editores: Instituto Antioqueño de Investigación (IAI)
• Año de publicación: 2021
• País: Colombia
• Idioma: español
• ISBN: 978-958-53278-0-1
• Enlaces
  • Texto Completo Libro (pdf)

Resumen

• El libro es sí es una recopilación de los trabajos del profesor Edgar Serna y su equipo, quienes han dedicado gran parte de su investigación a aportar al logro de la meta de mejorar los productos software, y que, si bien han sido publicados en revistas o presentados en Congresos, reunirlos en un texto completo es una apuesta para que los ingenieros de software tengan herramientas más cercanas. Se trata de una iniciativa en la que se reúne la producción de estos investigadores a partir de un programa de investigación estructurado y ejecutado por más de dos décadas.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Primera parte. Métodos formales

    • Capítulo I. Los métodos formales en contexto

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 15-23

      

    • Capítulo II. Perspectiva y aplicación de los métodos formales

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 24-31

      

    • Capítulo III. Métodos formales e ingeniería del software

      Edgar Serna M.

      • Resumen
      • Texto Completo Libro

      págs. 32-45

      

    • Capítulo IV. Lógica y formalidad en los lenguajes formales: un análisis en la ciencias computacionales

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 46-69

      

    • Capítulo V. La lógica en las ciencias computacionales

      Edgar Serna M.

      • Resumen
      • Texto Completo Libro

      págs. 70-76

      

    • Capítulo VI. La abstracción como componente crítico de la formación en ciencias computacionales

      Edgar Serna M.

      • Resumen
      • Texto Completo Libro

      págs. 77-83

      

    • Capítulo VII. Enfoque de la lógica y la abstracción en la formación en ingeniería

      Edgar Serna M., Luis Fernando Zapata A.

      • Resumen
      • Texto Completo Libro

      págs. 84-97

      

    • Capítulo VIII. El razonamiento lógico como requisito funcional en ingeniería

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 98-109

      

    • Capítulo X. La especificación formal en contexto - actual y futuro

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 124-138

      

    • Capítulo XI. La investigación en verificación formal - un estado del arte

      Edgar Serna M., David Morales-V

      • Resumen
      • Texto Completo Libro

      págs. 139-150

      

    • Capítulo XII. Significado y gestión del conocimiento en la ingeniería de requisitos

      Edgar Serna M., Oscar Bachiller S., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 152-163

      

  • Segunda parte. Ingeniería de requisitos

    • Capítulo XIII. Madurez de la gestión del conocimiento en la ingeniería de requisitos

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 164-179

      

    • Capítulo XIV. Un marco de trabajo para la gestión del conocimiento en la ingeniería de requisitos

      Edgar Serna M., Alexei Serna A, Oscar Bachiller S.

      • Resumen
      • Texto Completo Libro

      págs. 180-196

      

    • Capítulo XV. Desarrollo y gestión de requisitos: resultados de una revisión de la literatura

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 197-212

      

    • Capítulo XVI. Modelo para desarrollar y gestionar la ingeniería de requisitos

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 213-236

      

    • Capítulo XVII. Documentar la elicitación de requisitos: una revisión sistemática

      Edgar Serna M., Jorge Hernán Suaza Jiménez

      • Resumen
      • Texto Completo Libro

      págs. 237-250

      

    • Capítulo XVIII. Un modelo para documentar la elicitación de requisitos

      Edgar Serna M., Jorge Hernán Suaza Jiménez

      • Resumen
      • Texto Completo Libro

      págs. 251-267

      

    • Capítulo XIX. Marco de trabajo para elicitar requisitos multidimensionales

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 268-278

      

    • Capítulo XX. Estado actual de la investigación en requisitos no-funcionales

      Edgar Serna M.

      • Resumen
      • Texto Completo Libro

      págs. 279-292

      

  • Tercera parte. Pruebas del software

    • Capítulo XXI. Acercamiento ontológico a la gestión del conocimiento en el mantenimiento del software

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 294-307

      

    • Capítulo XXII. Desafíos y estrategias prácticas de los estudios empíricos sobre las técnicas de prueba del software

      Edgar Serna M., Fernando Arango

      • Resumen
      • Texto Completo Libro

      págs. 308-313

      

    • Capítulo XXIII. Prueba del software: más que una fase en el ciclo de vida

      Edgar Serna M., Fernando Arango

      • Resumen
      • Texto Completo Libro

      págs. 314-324

      

    • Capítulo XXIV. Una evaluación a las herramientas libres para pruebas de software

      Edgar Serna M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 325-336

      

    • Capítulo XXV. Análisis a la eficiencia del conjunto de casos de prueba generados con la técnica Requirements by contracts

      Edgar Serna M.

      • Resumen
      • Texto Completo Libro

      págs. 337-348

      

    • Capítulo XXVI. Análisis crítico a las propuestas para generar casos de prueba desde los casos de uso para las pruebas funcionales

      Edgar Serna M., Fernando Arango

      • Resumen
      • Texto Completo Libro

      págs. 349-360

      

    • Capítulo XXVII. Una revisión a la realidad de la automatización de las pruebas del software

      Edgar Serna M., Raquel Martínez M., Paula Andrea Tamayo

      • Resumen
      • Texto Completo Libro

      págs. 361-375

      

    • Capítulo XXVIII. Un modelo para determinar la madurez de la automatización de las pruebas del software como área de investigación y desarrollo

      Edgar Serna M., Raquel Martínez M., Paula Andrea Tamayo

      • Resumen
      • Texto Completo Libro

      págs. 376-392

      

    • Capítulo XIX. Integración de propiedades de la realidad virtual, las redes neuronales artificiales y la inteligencia artificial en la automatización de las pruebas del software: una revisión

      Edgar Serna M., Eder Acevedo M., Alexei Serna A

      • Resumen
      • Texto Completo Libro

      págs. 393-408