IT University of Copenhagen
- Analysis, Design, and Software Architecture with Project, Autumn 2010 - a course about the analysis, design, development, validation and maintenance of small- to medium-sized software systems, with small team projects, taught by Joe.
- Advanced Models and Programs, Spring 2010 - a course about verification-centric development, taught by Joe. Podcasts of his lectures for this course are available.
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.