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.
Credit hours: 3
Prerequisite(s): Undergraduate courses in Software Engineering (required) and Concurrent Programming (recommended).