CS9622a is a graduate course focussed on studying the interpretation of and verification of non-functional software requirements. In particular the course is interested in requirements such as safety requirements for various consumer facing applications (like automobiles and medical devices); accessibility requirements for various consumer facing applications (such as public web sites); and sustainability requirements for large scale applications (such as smart cities).

Below you can find the course outline and the information I have gathered so far to support class discussion on these and related topics.