Ada es un lenguaje desarrollado por el Departamento de Defensa estadounidense (DoD) para utilizarlo en las aplicaciones que realizan. Es una evolución de lenguajes como Pascal, más modular y con alguna extensión propia de lenguajes orientados a objetos.
Tienes más detalles en español en la página de Ada en la wikipedia y en inglés en www.gnat.com/what_is_ada.php.
En la universidad de Las Palmas de Gran Canaria tienes un curso básico de Ada 95 y otro de Ada 2005.
Un compilador de libre distribución es el conocido como GNAT Ada, que se puede descargar de: libre.adacore.com. Esta versión de libre distribución requiere registro, y la empresa que la mantiene, AdaCore, realiza también una versión "Profesional" (GNAT Pro), de pago.