Validating the Utility of Abstraction Techniques

A number of research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain expererience with the language facilities produced by this research, we should attempt to validate that hypothesis. This paper poses this validationa s the next major task in this area and outlines some ways to address it.