Subject: Jackson seminar
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Mon Jan 28 2002 - 12:52:20 EST
Daniel Jackson is running a seminar on related topics at MIT.
We have agreed to let students sit on each others' semainars.
Unfortunately, they are scheduled back to back right now.
He's looking into moving it up by 30 mins.
-- Matthias
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.
This archive was generated by hypermail 2b28 : Mon Jan 28 2002 - 12:52:21 EST