Web page for: CS9622a, the grad course on non-functional software specifications (with particular reference to safety, accessibility, and sustainability)

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).