FIRST MEETING: MONDAY SEPTEMBER 3; 08:45 HG03.082
Evaluation
Evaluation of a
previous course (in Dutch): Betrouwbaarheid van Software Systemen.
Description: Reliability of
Software Systems:
Case studies in software reliability, preferably in the context of LaQuSo, the Laboratory for Quality Software of
TU Eindhoven and RU Nijmegen.
Experience with tools for assessing reliability aspects of software systems
Experience with level of reliability in practice Experience with practical
applicability of academic tools Academic evaluation of applicability of
reliability tools
Many different subjects: varying from security issues via static analysis,
to formal verification, testing and performance analysis. Tools that can be
used are e.g. JML, Spec#, Findbugs, Esc-Java, Sparkle, PVS, Yasper, mcrl2,
Gast, Torx.
A few lectures for general instruction followed by a case study guided by a
supervisor. Regular supervisory meetings. Regular progress meetings with all case study groups.
Bachelor
Evaluation Report, End presentation