米国国防総省（DoD：Department of Defense）の提唱，支援の基に制定されたコンピュータ用のプログラミング言語。1980年に最初の仕様が制定し，ANSIやISOで規格化されている。

AdaはPascal，Algolをベースとした言語であり，厳密な型付け規則，パッケージ化によるコードの再利用とメンテナンス性の向上，処理系やハードウェアに依存しないデータの表現と操作，並列処理やリアルタイム処理，例外処理の記述，テンプレート機能サポートなどを特徴とする。