DynaGame: a rule editor for gamified education | IEEE Conference Publication | IEEE Xplore