---

[WesMaps 98/99 Home Page] [Course Search] [Course Search by CID]

Programming Methods COMP342 FA

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 that support the module concept. There will be several projects involving the specification and implementation of software modules.

MAJOR READINGS

EXAMINATIONS AND ASSIGNMENTS

ADDITIONAL REQUIREMENTS and/or COMMENTS

COURSE FORMAT: Laboratory Lecture

REGISTRATION INFORMATION

Level: UG Credit: 1.00

Prerequisites: COMP211 and COMP212

Last Updated on MAR-22-1999