A pragmatic approach to formalizing object-oriented modeling and development | IEEE Conference Publication | IEEE Xplore