Semester page for INF5150 - Autumn 2010

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