A methodology for object-oriented constraint programming | IEEE Conference Publication | IEEE Xplore