Semester page for INF5150 - Autumn 2010

• Schedule
• Examination: Time and place

Syllabus Refinement:

• Haugen, Husa, Runde, St?len: STAIRS towards formal design with sequence diagrams. SoSyM, Springer Online.

• Runde, Haugen, St?len: The Pragmatics of STAIRS. LNCS 4111. STAIRS tutorial.

Syllabus Security Analysis: See Lecture Oct. 29 in Detailed Teaching Plan

Syllabus Modeling

• Pilone, Dan: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7 (book, link is to Safari, not free)

• Haugen, M?ller-Pedersen, Weigert: Structural Modeling with UML 2.0, 2003. Kluwer. ISBN: 1-4020-7501-4. We have picked out one chapter, but also other chapters are interesting.

Contact us

• Administration and teachers