The Canvas-Oriented Formalization of the Game Design Processes | IEEE Conference Publication | IEEE Xplore