Ada
Programming Language
ada
safety-critical
real-time
aerospace
defense
reliability
Ada è un linguaggio di programmazione strutturato, tipizzato staticamente, imperativo progettato per sistemi critici di sicurezza e real-time. Intitolato ad Ada Lovelace, è usato in aerospazio, difesa e sistemi dove l'affidabilità è fondamentale.