This course provides an introduction to the design, implementation, and verification of programs and program modules. Possible topics include specification techniques, theory of modules and module interfaces, and elements of program verification. These topics will be discussed in the context of several language paradigms which support the module concept. There will be several projects involving the specification and implementation of software modules.
COURSE FORMAT: Laboratory Lecture
Level: UG Credit: 1.00
Prerequisites: COMP211 and COMP212
Last Updated on MAR-03-1998
Copyright Wesleyan University, Middletown, Connecticut, 06459