Graduate Bulletin 2011-2013 » Academic Programs and Courses » Mathematics and Computer Science » Courses in Computer Science » CMP 737: Software Engineering.
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: 1/23/2013
