2012-2013 University Catalog 
  
2012-2013 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