Software system engineering (2IW60)

Lectures

Time and Location: Monday 7th and 8th hour (15:45-17:30) in Potentiaal 6.05 and

Thursday 1st and 2nd hour (8:45-10:30) in Potentiaal 6.05

Lecturers: Prof. dr. ir. J.F. (Jan Friso) Groote (Wednesday) and Prof. dr. M.G.J. (Mark) van den Brand (Thursday)

Course material for the System software Engineering (modeling part) part:

  • Extra information on mCRL2 toolset:

    Some users of the toolset experience problems when trying to open a new file in mcrl2-gui in a directory where you do not have read and write permission. This is typically the case when trying to open a new file on the root of the C: disk. To avoid this problem the files should be opened in a directory where read/write permission is available.

    Course material for the System software Engineering (software part) part:

  • Papers on requirements engineering in general:
  • Papers on requirements engineering for automotive:
  • Papers on software architecture in general:
  • Papers on software architecture for automotive:
  • Exam/Tentamen:

    1. Date: 5th of November 2012
    2. Time: 14:00--17:00
    3. Material to study for the exam for quartiel 1:
    4. This list does not contain the material to be studied for the part lectured by prof. Groote.
    5. Exam of last year can be downloaded here and second exam of last year can be downloaded here.

    Grading: