An object-oriented and constraint-based knowledge representation system for design object modeling | IEEE Conference Publication | IEEE Xplore