Un libro que propone un enfoque formal y disciplinado para el desarrollo de software, incluyendo técnicas como la programación por fases, la verificación matemática y el desarrollo de arriba hacia abajo (top-down).
estadounidense
Harlan D. Mills fue un destacado científico y educador estadounidense en el campo de la ingeniería de software, conocido por sus contribuciones a la metodología de desarrollo de software y la mejora de la calidad del diseño. Es particularmente relevante por su trabajo en el desarrollo de técnicas y herramientas que promueven un enfoque sistemático en la construcción de software confiable.
Un libro que propone un enfoque formal y disciplinado para el desarrollo de software, incluyendo técnicas como la programación por fases, la verificación matemática y el desarrollo de arriba hacia abajo (top-down).
Aparecen junto a Harlan D. Mills en búsquedas del archivo