MIT Electrical Engineering and Computer Science Spring 2002 Catalogue Supplement

6.898 Advanced Topics in Software Design (H)

MW 2:30-4, Room 66-160
Professor Daniel Jackson, Room NE43-530, 8-8471
Prereq.: 6.170, 6.042J
3-0-9

Topics are likely to include: modeling languages (Alloy, JML); programming language constructs for expressing design (functors, typeclasses, units, mixins, aspects); classification of problems and solutions (problem frames, analysis patterns, design patterns); decoupling theories (axiomatic design, design structure matrices, module dependences).

Students will be expected to complete one modeling exercise, one program structuring exercise, and one final project. Details of the final project TBA, but likely to be either a research paper or a "design clinic" - redesigning a program that the student is familiar with.