The Ada Programming Language
Ada is a language originally designed to reduce the cost of writing embedded systems for USA Department of Defense projects.
The 1983 version of the language (Ada83): incorporated much of the accepted wisdom on software engineering of the time. . .