After passing the course, the student should be able to
Requirements definition and specification, prototypes, formal specification, design methods, reliability and safety, validation and verification, maintenance, reuse, project planning, quality assurance.
Lectures and guest lectures.
Written exam (3 credits). Oral and written assignments (2 credits).
week 21, 2016
9. ed., International ed.:
Find in the library