CS 467 Rigorous Software Specification, Design and Testing
This course covers the foundations of some rigorous methods for software specification, design and testing that are developed to create software-intensive products that perform as intended and do not fail in the field. It draws on research results in software engineering, requirements engineering and software testing with a focus on developing high quality software cost-effectively. This course will discuss the theory underlying each rigorous method covered, introduce established engineering practices, and include available tools which support the application of these methods.
Prerequisite: CS 224 with a minimum grade of C-