Ada programlama dili bir kısaltma değildir ve Augusta Ada Lovelace'den sonra adlandırılır. Bu modern programlama dili, güvenilirliğin önemli olduğu gömülü sistemler gibi büyük sistemler için tasarlanmıştır.
AdaCore'a göre, genellikle dünyanın ilk programcısı olarak kabul edilen bir matematikçinin adını alan Ada programlama dilinin ilk sürümü 1980'lerin başında geliştirilmiştir. Ada 83 olarak bilinen bu sürüm modülerleşmeyi ve paket yapısını tanıttı. Ada 95 "çocuk birimlerini" tanıttı. Ada'nın yeni sürümleri Ada 2005 ve Ada 2012'yi içeriyor. Ada 83, ABD Savunma Bakanlığı'nın o sırada kullandığı birçok programlama dilinin yerine geçmesini sağlayan bir dil oluşturma çabalarının sonucuydu.
Ada, geliştirme maliyetlerini azaltmaya yardımcı olur çünkü bileşenler yeniden kullanılabilir. Dil, sembollerin kullanımından kaçınır ve İngilizce anahtar kelimeleri tercih eder. Programlama dilinin diğer avantajları arasında yeni ve gelişen teknolojileri desteklediği, okunması kolay olan taşınabilir kodu teşvik ettiği ve C, COBOL ve Fortran gibi diğer dillerle arayüz oluşturduğu gerçeği yer almaktadır.
Ada, Ada2012'ye göre aviyonik, havacılık ve savunma sistemlerinde sistemler yürütmektedir. Şu anda otomotiv, medikal ve finansal sistemler dahil diğer alanlarda ortaya çıkıyor. Programlama dili, ISO /IEC 8652: 2012 tarafından tanımlanan uluslararası bir standarttır.