Capital-Intensive Software Technology Part 4: Accomplishments and Deficiencies of Ada

Ada is a well-documented attempt to make software technology more capital intensive. Its development has taught us a lot, including the fact that we have a great deal more to learn.