Validating The Utility Of Abstraction Techniques
Mary Shaw, Gary Feldman, Robert P. Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan M. Rosenberg, Wm. A. Wulf · 1978
A number of recent 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 experience with the language facilities produced by this research, we should attempt to validate that hypothesis. This paper poses this validation as the next major task in this area and outlines some ways to address it.