Jackson seminar


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