Studies of Software Engineering
$Log: Eindex.html,v $ Revision 2.4 2007/04/24 06:24:54 mikko Removed E1 deadline notice. Revision 2.3 2007/04/04 12:10:04 mikko E1 deadline Apr 18, not 11! Revision 2.2 2007/04/03 13:28:41 mikko More on homework. Revision 2.1 2007/03/27 06:04:46 mikko State as course starts. Revision 2.0 2006/07/10 18:23:49 mikko Initial version, spring 2007.
When sending E-mail, start the field "Subject:" with the string
"RinnJK: ", if you want the message to be treated as non-junk.
Lectures: Room TC210, Tue, 12noon-2pm, and room TC103 on Wed, Mar 28, 12noon-2pm, all in English.
Please, attend the first lecture, since the lecture notes will be ordered and the practical matters discussed then.
Exercises: Wed 12noon-2pm TC103 (in English); not on Wed, Mar 28, when this is replaced by a lecture. The Mayday (May 1, 2007) lecture will be replaced on Apr 24, 2007, in TC103, 2-4pm.Goal and contents: The course considers the correctness of concurrent programs. In particular, we shall consider one way of constructing programs so that these are provably correct.
The course can be included in post-MSc graduate studies.
Grading: Weekly, graded homework that can replace exam. The exam can raise the grade based on homework. The homework is to be done individually and personally; the solutions are to be submitted to be graded as hand-written, but readable originals, to box nr 210 (on TC2XX corridor, near F wing of the Institute of Software Systems). A preliminary estimate is that 50% of homework points are required to pass the course.
The important errors found in the lecture notes are posted here. These have already been fixed on the lecture notes above.
The lecture notes have been based on the book:
Gregory Andrews: Concurrent Programming: Principles and Practice, Benjaming/Cummings 1991,
though this will not be covered or followed slavishly. It is recommended as extra reading, if you can find a copy. Purchasing the book is recommended mainly, if you wish to get a more thorough treatment of the subject than can be obtained from the lecture notes.
Prerequisites: OHJ-4100 Operating systems (recommended), 8104000 Operating systems (compulsory) or OHJ-4010 Concurrency (compulsory).