INF5150 - Autumn 2009

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
28.08.2009Haugen? 3B? Introduction? Foils for Introduction?
04.09.2009Haugen? 3B? UML Interactions? Foils on UML Interactions

UML Sequence Diagrams are basis for our work on refinement (STAIRS). They are also central to our modeling approach.?

11.09.2009St?len? 3B? Refinement 1? Foils for Refinement 1

Exercises

Solution?

18.09.2009St?len? 3B? Refinement 2? Foils for Refinement 2

Exercises

Solution

Obligatory Exercise 1: Problem 2 on STAIRS in the Exam from 2008

Obligatory Exercise 1: Erik's correct solution?

25.09.2009St?len? 3B? Refinement 3? Foils for Refinement 3

More background on STAIRS and neg?

28.09.2009DEADLINE? ? Oblig 1? Deadline is strict, and it is in the morning 10.00.

You should send your individual solutions by email to kst@sintef.no as an attachment in pdf-format.?

02.10.2009Haugen? 3B? Modeling 1? Foils on Modeling 1

Executable models at once, with analysis and tests

Obligatory exercise 2?

09.10.2009St?len? 3B? Security Analysis 1? Foils for Security Analysis 1

Exercises

Solution?

16.10.2009Haugen? 3B? Modeling 2? Foils on Modeling 2

More than one service offered

Models ICU0-4 found here?

23.10.2009Haugen? 3B? Modeling 3? Foils for Modeling 3

Sessions: many users concurrently, many services to choose from

ICU4-DEFER ICU5.emx?

28.10.2009DEADLINE? ? Oblig 2? Deadline is 1200 Noon

Send an emx-file to Rayner and ?ystein. Use your own name in the filename?

30.10.2009St?len? 3B? Security Analysis 2? Foils for Security Analysis 2

Exercises

Solution

Obligatory Exercise 3 PART I: Problem 3a on Risk Analysis in the Exam from 2008

Obligatory Exercise 3 PART II: Problem 3b Revised?

06.11.2009St?len? 3B? Security Analysis 3? Foils for Security Analysis 3

Exercises

Solution??

13.11.2009Haugen? 3B? Modeling 4? Foils for Modeling 4

More on testing and on routing and a few other things?

16.11.2009DEADLINE? ? Oblig 3? Deadline 10.00 in the morning.

You should send your individual solutions by email to kst@sintef.no as an attachment in pdf-format.

REGARDING THE USE OF THE CORAS EDITOR: See slide 39 in Foils for Security Analysis 2?

20.11.2009Haugen? 3B? Modeling 5? Foils for Modeling 5

Robustification?

02.12.2009EXAM? TBD? EXAM 9-12? Old exams both clean (without solution) and with suggested solution can be found in the folder old exams

In 2003 and 2004 the exams were in Norwegian.

PLEASE NOTE that this is not the official site for giving the time and place of the exam.?

Published Aug. 26, 2009 3:38 PM - Last modified Nov. 19, 2012 3:57 PM
E-mail this page