Ada est un langage de programmation informatique de haut niveau structuré, statiquement typé, impératif et orienté objet, étendu à partir du Pascal et d'autres langages de programmation structurés. C'est un langage standard international, structuré autour des concepts d'objets, d'héritage et de concurrence. Ada a été initialement conçu par une équipe dirigée par Jean Ichbiah de la CII Honeywell Bull en 1977-1983.
Ada est un langage de programmation très puissant qui offre de nombreuses fonctionnalités aux développeurs de logiciels. Il est statiquement typé et fortement typé, ce qui signifie que les variables doivent être déclarées avec un type spécifique et que ce type ne peut être modifié. Cela permet d'éviter les erreurs et de rendre le code plus lisible. Ada possède également un modèle de programmation fortement orienté objet, ce qui signifie que le code peut être organisé en objets qui peuvent hériter d'autres objets. Cela rend le code plus réutilisable et plus facile à comprendre. Enfin, Ada offre une excellente prise en charge de la concurrence, ce qui est important pour le développement d'applications qui doivent être exécutées sur plusieurs processeurs ou ordinateurs.
Ada est un excellent choix pour le développement d'applications complexes et de grande taille. C'est également un bon choix pour le développement d'applications critiques en termes de sécurité, en raison de son typage fort et de ses fonctionnalités orientées objet.