A model-oriented programming support environment for software engineering courses | IEEE Conference Publication | IEEE Xplore