Search Results

CSĀ 540. Advanced Topics in Software Engineering. 4 hours.

Formal methods; requirements and specification languages; program flow analysis; validation and verification; software metrics; program representations; software tools; software testing; software process. Course Information: Previously listed as EECS 570. Prerequisite(s): CS 440; or consent of the instructor.