Topics are likely to include: modelling 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).