Navigation auf uzh.ch

Suche

Department of Informatics Requirements Engineering Research Group

Übungen

News

Assignments

There will be two assignments for the software quality lecture. These assignments are to be solved in groups of three students. Each Assignemnt will be followed by a discussion which will take place during the lecture.

Assignment Organization

Assistant: Eya Ben Charrada
  Assignment Release Deadline Data Discussion
1 Model Checking 27.02.2017 06.03.2017 Assignment 1 (PDF, 606 KB)

colony.pml (TXT, 538 bytes)

Introduction slides (PDF, 172 KB)

Discussion slides (PDF, 59 KB)

13.03.2017
2 Test und Debugging 13.03.2017 20.03.2017

Assignment 2 (PDF, 554 KB)

PrimeFactors.jar (TXT, 8 KB)

Introduction slides (PDF, 210 KB)

Discussion slides (PDF, 2 MB)

03.04.2017

Solution format

Please package the files containing your solution into a zip (or tar.gz) file and submit it via email to charrada AT ifi.uzh.ch. The subject of the email must begin with [FS 17 SWQ]. For each assignment include the full name and the immatriculation number of all group members

Weiterführende Informationen

Title

Teaser text