2 research outputs found

    Validating the Utility of Abstraction Techniques

    No full text
    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.</p
    corecore