Course Description 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. |
| Antirequisites: SE 452a/b, 453a/b, the former Computer Science 407a/b. |
| Prerequisite: Computer Science 307a/b/y. |
| 3 lecture hours, half course. |
| Academic Calendar |
![[Table of Contents]](toc.gif) ![[Index]](index.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|