Enabling javascript will improve the functionality of this page. skip to content
Lehman College

Catalog search


Catalog links

print page

CMP 737: Software Engineering.

4 hours, 4 credits. Structured coding techniques and coding style will be considered: single entry-single exit constructs, modularity (coupling, cohesion), data encapsulation, data abstraction, generic facilities, and type checking. Verification, validation, and testing techniques will be studied: static analysis, unit testing, input-output assertions, weakest precondition, structured induction, and symbolic execution.

Last modified: 7/14/2014