FASE
Formal Aspects of Software Engineering
Courses 02262-02268

Dines Bjørner and Anne Haxthausen
Informatics and Mathematical Modelling, DTU

December 8, 2001

• Course 02262, Spring 2002: Formal Aspects of Software Engineering I
  Anne Haxthausen, approx. ``first half'', Dines Bjørner, approx. ``second half''.
  • For ``First Half'' of Spring 2002 Course 02262 see separate document to be issued by Anne Haxthausen.
  • See also DTU Announcement of Spring 2002 Course 02262
  • For ``Second Half'' of Spring 2002 Course 02262 see Section 1 as well as separate document to be issued by Dines Bjørner.
• Course 02268, Fall 2002: Formal Aspects of Software Engineering II
  Anne Haxthausen, some lectures, Dines Bjørner, most lectures.
  • See DTU Announcement of Fall 2002 Course 02268
    Current web page is erroneous -- to be updated!
  • For Fall 2002 Course 02268 see also Section 1.
• For Dines Bjørner's Lecture Notes for his parts of Courses 02262 + 02268
  See Software Engineering: Theory & Practice Lecture Notes 2002.