INF5150 - Autumn 2005

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
02.09.2005	Haugen?	Lille Aud?	Introduction?	Everyone must attend in order to follow the course. THIS PLAN IS NOT FIXED. There will probably be changes during the semester. Introduction to INF5150?
09.09.2005	Haugen?	Lille Aud?	UML Sequence Diagrams 1?	UML Sequence Diagrams 1 SeDi resources. Installation guide and plug-in?
16.09.2005	Haugen?	Vilhelm Bjerknes Aud. 4?	UML Sequence Diagrams 2?	UML Sequence Diagrams 2 Project groups Obligatory exercise Rational Software Modeler at IFI: /ifi/fenris/p03/terjek/IBM/rationalsdp.bin Visio template for UML 2.0?
23.09.2005	Haugen?	Lille Aud?	UML State Machines?	State machines Revision 1 UML transformation plugin resources, see guide to plugin to make use of a zip-file with two plugins Knoble 2 model for RSM and Knoble 4 model for RSM MakingBabies model for RSM (dynamic creation of state machines)?
30.09.2005	St?len?	Lille Aud?	Refinement 1?	Refinement 1 (corrected)?
07.10.2005	St?len?	?	Refinement 2?	Refinement 2 (corrected)?
14.10.2005	Haugen?	Lille aud.?	Development Methodology 1 / DEADLINE DROP 1?	System Development 1 You may also find resources for the UML compiler one level up from this page. The Drop 1 deadline is very firm at 23.59! Check out first version of Drop 2 ?
21.10.2005	Haugen/St?len?	Lille Aud?	Walk-through of Drop 1?	G1 G2 G3 G4 G5 G6 (rev1) The groups will criticize each other. The teacher assistants will also assess the reports, and the lecturers will give a tentative grade publicly. The grade has no formal impact on the final grade. The assistants' solution to Drop 1 Find Drop 2 resources at INF5150 autumn 2005?
28.10.2005	St?len?	Lille Aud.?	Security analysis 1?	Security Analysis 1 Questionnaire Answers to the Questionnaire Updated Version of Drop2?
04.11.2005	Folker den Braber?	Lille Aud.?	Security Analysis 2?	Security Analysis 2 Coras Tutorial?
11.11.2005	Haugen?	Lille Aud.?	Development Methodology 2?	System Development 2. Verification and Testing?
18.11.2005	St?len?	Lille Aud.?	Security Analysis 3 / DEADLINE Obligatory Exercise Drop 2?	Security Analysis 3 Questionnaire Proposed Answers to the Questionnaire Please find the solutions of the different groups by starting at Drop 2 root Group 6 will evaluate Group 1, Group 1 will evaluate Group 2 etc. The assistants' proposed solution to Drop2?
25.11.2005	St?len / Haugen?	Lille Aud.?	Walk-through of Drop 2?	Same procedure as with Drop 1, but now we also want some of the groups to demonstrate running systems. Which groups will be demonstrating will be announced right before their turn. Thus all groups need to produce a presentation as well as be prepared for demoing.?
02.12.2005	St?len / Haugen?	NB NB NB: Seminar room 3A?	INF5150 Oracle?	Oracle to answer all questions especially those delivered beforehand. We will also repeat those parts of the curriculum that people want (a selection) Earlier exams with sketched solutions, 2003 2004 The 2003 exam was reasonably well sized and the best students were able to finish it all. The 2004 exam, however, was not as satisfactory. Even the best student was not able to finish the exam. Oracle slides: Haugen's St?len's Refinement Threat modelling?
05.12.2005	EXAM (14.30)?	Store fysiske lesesal Fysikkbygningen?	EXAM?	This is not the official site for time and place for the exam. Please look at time & place exam INF5150 We have earlier had late changes to time&place! Place is the large reading hall of the Physics building.?

Published Aug. 18, 2005 6:57 PM - Last modified Dec. 12, 2005 12:49 PM