Syllabus/achievement requirements

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

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Chapter 3 "A Guided Tour of the CORAS Method" in the book "Model-Driven Risk Analysis: The CORAS Approach", 2011. Springer. The chapter can be downloaded freely from the Springer webpage. http://www.springer.com/computer/swe/book/978-3-642-12322-1.

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Risk Analysis of Changing and Evolving Systems Using CORAS, 2011. LNCS 6858, Springer. Pages 231-274. CORAS tutorial.

ONLY FOR INF9150: Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Chapter 13 "Analysing Likelihood Using CORAS Diagrams" in the book "Model-Driven Risk Analysis: The CORAS Approach", 2011. http://www.springer.com/computer/swe/book/978-3-642-12322-1.

Mandatory requirements modeling

Pilone, Dan: UML 2.0 in a Nutshell, 2005. O'Reilly Media. ISBN: 0-596-00795-7. Read it on Safari (free with IFI IP address).

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)

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen: Model-Driven Risk Analysis: The CORAS Approach, 2011. Springer. Chapter 3 is mandatory for both INF5150 and INF9150; Chapter 13 is mandatory for INF9150; the rest of the book is background. http://www.springer.com/computer/swe/book/978-3-642-12322-1.

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.

Publisert 5. apr. 2011 10:00 - Sist endret 26. okt. 2011 14:58