Para ello se basa en un tipado muy fuerte y en chequeos en tiempo de ejecución (desactivables en beneficio del rendimiento).

Durante los años 1972-1975, este departamento tenía proyectos en una infinidad de lenguajes y estaba gastando mucho dinero en software.

Para solucionarlo se buscó un lenguaje único que cumpliese unas ciertas normas recogidas en el documento Steelman.

En 1981, C. A. R. Hoare aprovechó su Premio Turing para criticar a Ada por ser demasiado complejo y, por lo tanto, poco fiable.

Los antecesores de este documento fueron llamados, en orden, «Strawman», «Woodenman», «Tinman» y «Ironman».

El diseño que ganó este concurso se convirtió en el lenguaje de programación Ada.

NYU Ada/Ed se implementa en el lenguaje establecido de alto nivel SETL.

[8]​ Varias empresas comerciales comenzaron a ofrecer compiladores Ada y herramientas de desarrollo asociadas, incluidas Alsys, TeleSoft, DDC-I, Advanced Computer Techniques, Tartan Laboratories, Irvine Compiler, TLD Systems y Verdix.

[9]​ Los fabricantes de ordenadores que tenían un negocio importante en las industrias de defensa, aeroespacial o relacionadas, también ofrecían compiladores y herramientas Ada en sus plataformas; estos incluyeron Concurrent Computer Corporation, Cray Research, Inc., Harry puter Systems, y Siemens Nixdorf Informationssysteme AG.

[12]​[16]​ El Ada preliminar se puede encontrar en ACM Sigplan Notices Vol 14, No 6, junio de 1979.

Para ayudar con la revisión estándar y la futura aceptación, la Fuerza Aérea de los Estados Unidos financió el desarrollo del compilador GNAT.

Se ha continuado trabajando en la mejora y actualización de los contenidos técnicos del lenguaje Ada.

Los otros nombres son solo informales que hacen referencia a una determinada edición.

Actualmente está mantenido por AdaCore (antes llamada Ada Core Technologies), empresa que ofrece soporte y servicios sobre el compilador.