Validating the Utility of Abstraction Techniques

Date of Original Version



Conference Proceeding

Abstract or Description

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.