George Mason University
DEPARTMENT OF COMPUTER SCIENCE
Prerequisites | Description | Readings | Syllabus | Grading | Late | Home Page
Professor Richard Carver
703-993-1550
rcarver@cs.gmu.edu
(Please prefix the subject of your email with CS706.)
Course office hours: Tuesday before class (3:30-4:15pm)
Office: ST2 Room 343
PREREQUISITES :
CS 571 and SWE 621 or 631 or equivalent.
DESCRIPTION :
Studies issues related to the development of concurrent software systems. Topics include: concurrent programming languages (Java, Ada), specification, design, verification, and validation of concurrent programs. This semester, the focus will be on concurrent and distributed programming in Java and Win32.
Required: CS706 Course Notes (for sale in the book store.)
Optional: Hartley, Stephen J., Concurrent Programming, The Java Programming Language, Oxford University Press, 1998, ISBN 0-19-511315-2 (pbk.)
LOGISTICS AND GRADING:
Homeworks and projects will be assigned. One or more exams will be given.
Students are required to solve concurrent programming problems and
to check their solutions by using verification, testing, and debugging
tools.
LATE ASSIGNMENTS AND PROJECTS:
The late submission policy is as follows: assignments will be
marked down 5% for each late day for the first three days after the due date.
Beyond that assignments will be marked down 10% for each late day.