Un texto académico que presenta los principios y conceptos fundamentales de la programación orientada a objetos en C++, con un enfoque riguroso y formal en la especificación y diseño.
MB
MB
Manfred Broy
alemán
Manfred Broy es un destacado científico y académico alemán conocido por sus contribuciones en el ámbito de la informática y la ingeniería de software. Ha sido reconocido por su trabajo en el modelado y análisis de sistemas complejos.
Obras en el archivo
13 títulos
Formale Systeme der Software-Entwicklung: Eine Einführung
1993·divulgacion
Este libro introduce los fundamentos teóricos de los sistemas formales en el desarrollo de software, explorando métodos para especificar, verificar y transformar programas de manera rigurosa. Aborda conceptos como semántica operacional y axiomática para asegurar la corrección de los sistemas.
Principios para una teoría de programación en tiempo real
1998·divulgacion
Examina los fundamentos teóricos y prácticos de los sistemas de programación en tiempo real, desde la perspectiva de la especificación, verificación y correcta implementación de programas que interactúan con su entorno en plazos estrictos.
Autores relacionados
Aparecen junto a Manfred Broy en búsquedas del archivo