INF5150 - Autumn 2006

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
01.09.2006Haugen? Lille Aud? Introduction? Everyone must attend in order to follow the course

THE PLAN IS NOT TOTALLY FIXED. Changes may appear throughout the semester.

In this plan you will find links to the lectures most often before the lecture is held.

Introduction lecture?

08.09.2006Haugen? Lille Aud? UML Sequence Diagrams? Lecture on UML Sequence Diagrams?
15.09.2006Haugen? Lille Aud.? UML State Machines? Lecture on State Machines

Simple Knoble

Knoble with submachine states

Multiknoble with bells and whistles (for the brave ones only)

Obligatory Exercise

Project groups?

19.09.2006? 3A? Running the examples / explaining the oblig? Your learning goals:
  • Installed the software
  • Made one sequence diagram yourself
  • Been able to run the GooglePos example system
  • Met with your project group
?
22.09.2006St?len? Lille Aud? Refinement 1? First Lecture on Refinement

Seminar on Trustworthy Computing

?

29.09.2006St?len? Lille Aud? Refinement 2? Second Lecture on Refinement??
29.09.2006Atle Refsdal? 3A? Refinement / Modeling? Modeling learning goals:
  • have experimented with the INF2120 solutions
  • have discussed the modeling strategy with the project
  • have started to make Drop1-oriented sequence diagrams based on the chosen strategy using the new SeDi plugin
?
06.10.2006St?len? Lille Aud.? Security Analysis 1? First Lecture on Security Analysis

Questionnaire

?

13.10.2006Haugen? Lille aud.? Development Methodology? Lecture on Development Methodology

Also: HARD DEADLINE for Obligatory Exercise Drop 1

G1?G2?G3?G4?G5?

20.10.2006Haugen/St?len? Lille Aud? Walk-through of Drop 1? This procedure is followed:

  • A Group presents their deliverable
  • Another (designated) criticizes the deliverable
  • The group teacher(s) give their evaluation
  • The lecturers supplements and suggests a grade (A-F)
  • The next group presents.
?
27.10.2006Refsdal? Lille Aud.? Refinement 3? Third Lecture on Refinement

?

03.11.2006St?len? Lille Aud.? Security Analysis 2? Second Lecture on Security Analysis

?

10.11.2006Haugen? Lille Aud? Testing with UML? Foils on testing with UML

U2TP profile and the model file for the example?

17.11.2006St?len? Lille Aud.? Security Analysis 3? Third Lecture on Security Analysis?
24.11.2006? ? No lecture? HARD DEADLINE for Obligatory Exercise Drop 2?
01.12.2006Haugen / St?len? Lille Aud.? Walk-through of Drop 2? Please see details of presentation (follow link)

Here are the files for Drop 2:G1 G1 model G3 G4 G5?

05.12.2006EKSAMEN? ? ? Earlier exams with tentative solutions 2003 2004 2005

Time of the exam may change. Please refer to the link here. The link is to the official exam information.?

Published Aug. 15, 2006 11:20 AM - Last modified Sep. 27, 2007 5:40 PM
E-mail this page