Beginning Ada Programming

Manual formativo escrito por Andrew T. Shvets y publicado por Apress en 2019. Introduce el lenguaje Ada moderna (Ada 2012), reconocido mundialmente por su seguridad extrema y utilización en software de misión crítica aeroespacial y ferroviario.

Explora la sintaxis estricta de Ada, el tipado fuerte y la comprobación de rangos en tiempo de compilación y ejecución, paquetes y visibilidad (`package spec` y `body`), genéricos, manejo de excepciones, programación orientada a objetos con tipos etiquetados (tagged types) y concurrencia nativa mediante tareas (tasks) y objetos protegidos.

El autor utiliza el compilador GNAT y el entorno GPS de AdaCore, guiando al lector mediante ejemplos sencillos y ejercicios prácticos. Una excelente puerta de entrada para aprender ingeniería de software de máxima fiabilidad.