Home
Education Page
Description
Literature
Schedule
Slides
Assignments
Paper Reviews
Exam
Mailinglists
Course Schedule

Swe0607
This is the schedule for lectures.
The schedule may be subject to change; 
check this page regularly or subscribe to the [[MailingList][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 [[PaperReviews][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 <nop>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 [[SoftwareEngineeringLiterature][Literature]]). As such,
it does not yet involve the lab assignments themselves.

%TOC%

-----++ Week 36
   * No lectures and no practice sessions

-----++ Week 37

   * Lecture 1
      * Topics:
         * [[WebHome][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 [[SoftwareEngineeringLiterature][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 
      * [[http://www.cs.uu.nl/docs/vakken/swe/docs2006/zedslides.pdf][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.
 
<!--  * Topic: Aspect oriented programming or security or legacy systems 
      * Chapters: 30 or 32 or 21
-->

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

-----++ Week 45 (exam week)

   * Exam