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: 3/11/2014