A formal approach to the comparison of object-oriented analysis and design methodologies | IEEE Conference Publication | IEEE Xplore