Course Objectives.
Take a good look at the course objectives. Besides helping you understand the course from a student-centred point of view, you will also find them extremely helpful in giving guidance about what kind of questions can appear on the exam. This is particularly critical on a new course with no past exam papers.Here is the course evaluaion for 2007.
Timetable.
Here is the course timetable for termin 4, 2008
Labredovisning
This year, labredovisning will be via internet, either for myself or the lab assistant. Please read the lab instructions (link below) for details of how to organise your work into web pages. When you have completed the exercise, you should e-mail me with the URL for your lab work.
Laboratory classes will sometimes be unsupervised. However, we will use time in lektion classes to discuss any lab problems.
Tentamen.
See the top of this page.
Marking Scheme.
This year, a new marking schema that uses the Bologna grading scheme will be used. Details are still to be finalised.Last year (2007) the grade awarded for the course was the grade achieved on the examination. A score of at least 50% will guarantee the grade godkänd. To score "väl godkänd" a student must score at least 70% (though this is no guarantee for receiving the grade, if the average grade on the exam is well over 50%).
However, in addition to passing the exam, each student must satisfactorily pass the laboratory work. (No percentage grade is awarded for this work however, the laboratory mark is simply pass/fail).
Lektion work.
Here is the link to the Ariane flight 501 accident report..Here are the warehouse uses cases used in the lektioner.
Laboratory work.
For the laboratory exercises you should work in pairs, which you should organise for yourself. Anyone unable to find a partner may contact me, and I will try to pair you with another such person.
You should choose one of the following lab projects (Note for students from previous years: in 2007 I added labs 2, 3 and 4 on type checking and ESC java)
To do Lab 1 you should a copy of the coursebook Harel and Marelly (see above).
Before you can use the Play-Engine software for Lab 1 you may have to obtain a user license key, and enter this into the Play-Engine. Systemgruppen have written a help page to show you how to do this.
Lab 1: Here is exercise 1 on Modelling Mobile Phone Requirements with Live Sequence Charts.
Lab 2: Here is exercise 2 on
an Object Calculus Interpreter.
Lab 3: Here is exercise 3 on
Type Checking for the Object Calculus with subtypes.
Lab 4: Here is exercise 4 on
verification with ESC Java.
Online Resources.
The web page for the Play-Engine, where you can download upgrades of the software, including the current 4.1 version.
Up to Nada's home page.