Ada
Programming Language
ada
safety-critical
real-time
aerospace
defense
reliability
Ada est un langage de programmation structuré, à typage statique, impératif, conçu pour les systèmes critiques en matière de sécurité et en temps réel. Nommé d'après Ada Lovelace, il est utilisé dans l'aéronautique, la défense et les systèmes où la fiabilité est primordiale.