Course Schedule

This is the schedule for lectures. The schedule may be subject to change; check this page regularly or subscribe to the mailinglist. The slides of the lectures will be made available before the lectures.

Note that the course starts on September 11th with a lecture at 11.00. But prepare to get to work in a hurry. Indeed, you are urged to start reading the book already in the first week. With every lecture I list a number of chapters from the book to be read. All these chapters together, the slides of the lectures and the papers to be reviewed form together the material for the examination. I have broken the chapters up into sizable but manageable chunks. Quite a few of the earlier chapters contain much that was also part of Modelleren en SysteemOntwikkeling (MSO). When learning for the exam, you should take into account that material from these chapters that ended up in the slides, is more important than material from these chapters that did not. But that does not mean I won't ask anything at all about material not in the slides. Chapters from the book that are not mentioned at all below, need not be read at all for the exam. They are the focus of other courses like SWA.

Lab session schedule

The first lab session is on Monday September 18 (9-11). This session is meant to ask questions about Chapter 2-9 of the Using Z book (see Literature). As such, it does not yet involve the lab assignments themselves.

Week 36

• No lectures and no practice sessions

Week 37

• Lecture 1
  • Topics:
    • Course organization
    • Introduction
  • Chapters: 1 - 5

• Lecture 2
  • Topic: requirements specification and design
  • Chapters: 6, 7, 9, 10

Week 38

• Lecture 3
  • Topic: formal specification using Z
  • Note: material here is based on the book Using Z (see Course Literature). Be sure to at least browse through Chapters 2-9 before coming to the lecture, because it is assumed to be known to you.
  • Lecturer: Arthur van Leeuwen
  • Chapters: 11, 13 and 15
  • The slides

• Lecture 4
  • Topic: Functional Design Patterns
  • Guest lecturer: Robert Guitink of Quinity (in Dutch)
  • Chapters: previously mentioned chapters you did not yet get round to.

Week 39

• Lecture 5
  • Topic: Software construction
  • Chapters: 17, 18, 20

• Lecture 6
  • Topic: Software configuration
  • Chapters: 29

Week 40

• Lecture 7
  • Topic: Versioning
  • Chapters: none

• Lecture 8
  • Topic: Build management
  • Chapters: none

Week 41

• Lecture 9
  • Topic: Deployment using Nix
  • Guest lecturer: Eelco Dolstra
  • Chapters: none, but this is a good moment to start reading the paper on Nix in the paper review section.

• Lecture 10
  • Topic: Verification and validation introduction and static analysis
  • Chapters: 22, 24

Week 42

• Lecture 11
  • Topic: Testing
  • Chapters: 23

• Lecture 12
  • Topic: Testing tools
  • Chapters: none

Week 43

• Lecture 13
  • Topic: Risk Assessment Tools
  • Guest lecturer: Tobias Kuipers of Software Improvement Group

• Lecture 14
  • Topic: Empirical software engineering
  • Chapters: none

Week 44

• Lecture 15
  • No lecture planned.

• Lecture 16
  • Topic: Ketenautomatisering (in Dutch)
  • Guest lecturer: Erik Slotboom

Week 45 (exam week)

• Exam