Course Description

This course will provide students with an introduction to a range of fundamental problems in building reliable or correct software, including but not limited to requirement engineering, software design, software validation and verification and software testing. Students will learn cutting edge research results on tackling these problems and apply the results to real-world software systems.

12 Credits

Instructor

Sun Jun (Fall 2013, 2014, 2015, 2016)

Components

Final exam and projects

Image Credit