2009-2010 University Catalog 
  
2009-2010 University Catalog

CS 706 - Concurrent Software Systems

Credits: 3
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.

Prerequisites
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