Fundamentos matemáticos de la ingeniería de software: Guía práctica de fundamentos

Título original:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Contenido del libro:

Este libro de texto presenta una introducción a los fundamentos matemáticos de la ingeniería del software. Presenta las ricas aplicaciones de las matemáticas en áreas como los códigos de corrección de errores, la criptografía, los campos críticos de la seguridad y la protección, los campos de la banca y los seguros, así como las aplicaciones tradicionales de la ingeniería.

Temas y características:

⬤ Aborda las matemáticas básicas para el pensamiento crítico y la resolución de problemas.

⬤ Discute la lógica proposicional y de predicados y varias técnicas de prueba para demostrar la corrección de un argumento lógico.

⬤ Examina la teoría de números y sus aplicaciones a la criptografía.

⬤ Considera las matemáticas subyacentes de los códigos de corrección de errores

⬤ Analiza la teoría de grafos y sus aplicaciones a la modelización de redes.

⬤ Revisa las herramientas de apoyo a las matemáticas de la ingeniería del software, incluidos los demostradores de teoremas automatizados e interactivos y la comprobación de modelos.

⬤ Analiza la ingeniería del software financiero, incluyendo el interés simple y compuesto, la probabilidad y la estadística, y la investigación operativa.

⬤ Analiza la fiabilidad y confiabilidad del software y explica los métodos formales utilizados para derivar un programa a partir de su especificación.

⬤ Analiza el cálculo, las matrices, los vectores, los números complejos y los cuaterniones, así como sus aplicaciones a los gráficos y la robótica.

⬤ Incluye temas clave de aprendizaje, resúmenes y preguntas de repaso en cada capítulo, junto con un útil glosario

Este libro de texto/referencia, práctico y fácil de seguir, es ideal para estudiantes de informática que deseen aprender cómo las matemáticas pueden ayudarles a construir software de alta calidad y fiable, a tiempo y sin salirse del presupuesto. El texto también es un excelente manual de autoaprendizaje para ingenieros de software, profesionales de la calidad y gestores de software.