A course on software engineering for concurrent systems.

Authors :: Goos, G.
Hartmanis, J.
Barstow, D.
Brauer, W.
Brinch Hansen, P.
Gries, D.
Luckham, D.
Moler, C.
Pnueli, A.
Seegmüller, G.
Stoer, J.
Wirth, N.
Ford, Gary A.
Kuo-Chung Tai
Source :: Software Engineering Education; 1988, p106-119, 14p
Publication Year :: 1988
Abstract: This paper describes a graduate level course that covers concepts, techniques and tools for the specification, design, coding, and validation of concurrent software. This course is intended to transfer practical software engineering technology for the production of reliable concurrent software systems. One unique aspect of this course is the use of a collection of tools developed at NCSU for testing and debugging concurrent software. [ABSTRACT FROM AUTHOR]