Problem frames and object-oriented software architecture | IEEE Conference Publication | IEEE Xplore