Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems.

Mary Shaw

Browse the full ICSE paper archive.