This course will address topics in software quality assurance. Defect prevention and correction, formal validation, and different software testing methodologies will be illustrated. Certain models and standards of software quality will be emphasized.