Concepts and state of the art techniques in software specification and quality assessment for software engineering; quality attributes; formal specification and analysis; verification and validation. Antirequisite(s): Software Engineering 4452A/B, Software Engineering 4453A/B. Prerequisite(s): Computer Science 3307A/B/Y. Corequisite(s): Pre-or Corequisite(s): Extra Information: 3 lecture hours, 0.5 course. back to top