Advanced Topics in Software Systems

An advanced course for students interested in studying the formal processes by which large software systems are tested and evaluated. This course introduces several industry standard methods for validating, verifying, quantifying, and rating the efficacy of software systems at the design, implementation, and maintenance of the systems development life cycle.