Mandatory requirements STAIRS
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.
Mandatory requirements CORAS
den Braber, Hogganvik, Lund, Stølen, Vraasen: Model-based security analysis in seven steps - a guided tour to the CORAS method, 2007. Springer. BT Technology Journal, pp 101-117. (pdf).
Dahl, Hogganvik, Stølen: Structured semantics for the CORAS security risk modelling language, 2007. SINTEF ICT. SINTEF Technical Report A970. (pdf).
Mandatory requirements modeling
Pilone, Dan: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7. Read it on Safari.
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.
All lecture notes are mandatory requirements
Obligatory exercise with solutions
All material from obligatory exercises is mandatory curriculum. This comprises the exercise, the solutions and any lectures given to explain the exercise.
Background material (not mandatory)
Rumbaugh, Jacobson, Booch: UML Reference Manual, Second Edition, 2004. Addison-Wesley. ISBN: 0321245628. Link to Addison-Wesley on this book.
Baker, Dai, Grabowski, Haugen, Schieferdecker, Williams: Model-driven Testing, 2007. Springer. ISBN: 978-3-540-72562-6. Link to Springer on this book.
OMG: UML Profile for Modeling QoS and Fault Tolerance, 2005. OMG. http://www.omg.org/docs/ptc/05-05-02.pdf.
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)