Software Engineering

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.