A sentential function mapping method for object-oriented analysis and design | IEEE Conference Publication | IEEE Xplore