Ada
Programming Language
ada
safety-critical
real-time
aerospace
defense
reliability
Ada er et strukturert, statisk typet, imperativt programmeringsspråk designet for sikkerhetskritiske og sanntidssystemer. Navngitt etter Ada Lovelace, brukes det i romfart, forsvar og systemer hvor pålitelighet er avgjørende.