Course Description

Computer Science 472a/b Specification, Testing and Quality Assurance

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: SE 452a/b, 453a/b, the former Computer Science 407a/b.
Prerequisite: Computer Science 307a/b.
3 lecture hours, half course.


Academic Calendar
[Table of Contents] [Index]
[Courses by Subject] [Courses by Name] [Awards by Category] [Awards by Name] [Calendar Search]