Background material (not mandatory)
Rumbaugh, Jacobson, Booch: UML Reference Manual, Second Edition, 2004. Addison-Wesley. ISBN: 0321245628. Link to Addison-Wesley on this book.
Pilone, Dan: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7. Read it on Safari.
OMG: UML Profile for Modeling QoS and Fault Tolerance, 2005. OMG. http://www.omg.org/docs/ptc/05-05-02.pdf.
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. chapter in pdf.
Haugen, Husa, Runde, Stølen: STAIRS towards formal design with sequence diagrams, 2005. SoSyM, Springer Online. STAIRS article.
Runde, Haugen, Stølen: The Pragmatics of STAIRS, 2006. Springer-Verlag. LNCS 4111. STAIRS tutorial.
All lecture notes
Obligatory exercise with solutions
Last version of the Oblig 2006
Addendum to Drop2 of Oblig 2006
The CORAS Handbook
Folker den Braber, Gyrd Brændeland, Heidi E. I. Dahl, Iselin Engan, Ida Hogganvik, Mass S. Lund, Bjørnar Solhaug, Ketil Stølen, Fredrik Vraalsen: The CORAS Model-based Method for Security Risk Analysis. SINTEF, September 2006. (pdf)