This course is an introductory graduate course to software development for concurrent software with an emphasis on design, implementation and verification. Topics in the design and implementation of concurrent software include: design patterns for concurrency, concurrency refactoring, and programming with threads, actors and message passing. Topics in the verification of concurrent software include: static analysis, model checking and testing.
According to the 2015-16 Graduate Academic Calendar, the course is described as follows:
CSCI 5100G Development of Concurrent Software. This course is an introductory course to software development for concurrent software with an emphasis on design, implementation and verification. Topics in the design and implementation of concurrent software include design patterns for concurrency, programming with threads and programming in coordination languages. Topics in the verification of concurrent software include static analysis, model checking and testing. 3 cr.