Syllabus/achievement requirements

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)

Published Apr. 24, 2006 11:05 PM - Last modified Nov. 8, 2006 12:05 AM