The following are some of the courses in which we have integrated game development and formal software engineering techniques. This list will be expanded over time, and we will also include examples of student work in situations where we have obtained permission to do so.

IT University of Copenhagen

University of Washington Tacoma
  • Programming Practicum. Autumn 2010 (use guest access) - a course about building small- to medium-scale Java programs and learning about event-based programming, culminating in a game project (Tetris), taught by Dan. This course has minimal explicit formal content, but uses most of the static checkers for Java listed on the Tools page as well as the AutoGradeMe tool. It has been taught several times, the example posted here being the most recent; others can be found by browsing the Institute of Technology Moodle with guest access.