2011-2012 University Catalog 
  
2011-2012 University Catalog

CS 706 - Concurrent Software Systems

Credits: 3 (NR)
Topics include concurrent programming languages and constructs, and specification, design, verification, and validation of concurrent programs. Students required to solve concurrent programming problems and check solutions by using verification, testing, and debugging tools.

Prerequisite(s): CS 571 and SWE 621 or 631, or equivalent

Hours of Lecture or Seminar per week: 3
Hours of Lab or Studio per week: 0