Ada
Programming Language
ada
safety-critical
real-time
aerospace
defense
reliability
Ada er eit strukturert, statisk typet, imperativt programmeringsspråk utvikla for tryggleikskritiske og sanntids-system. Namnet etter Ada Lovelace, det vert brukt i luftfart, forsvar og system der påliteligheit er viktigst.