Citation: M. Sitaraman et al., ON THE PRACTICAL NEED FOR ABSTRACTION RELATIONS TO VERIFY ABSTRACT DATA TYPE REPRESENTATIONS, IEEE transactions on software engineering, 23(3), 1997, pp. 157-170
Authors:
ZWEBEN SH
EDWARDS SH
WEIDE BW
HOLLINGSWORTH JE
Citation: Sh. Zweben et al., THE EFFECTS OF LAYERING AND ENCAPSULATION ON SOFTWARE-DEVELOPMENT COST AND QUALITY, IEEE transactions on software engineering, 21(3), 1995, pp. 200-208
Citation: Bw. Weide et al., DESIGN AND SPECIFICATION OF ITERATORS USING THE SWAPPING PARADIGM, IEEE transactions on software engineering, 20(8), 1994, pp. 631-643