CMP 408 Software Engineering

Classical and object-oriented software engineering. System life cycle, structured coding techniques, modularity, data encapsulation and generic facilities. Verification, validation and testing techniques: static analysis, input-output assertions, structured induction, and symbolic execution. 

Credits:

4

Hours

4

Requirement Designation

Regular Non-Liberal Arts

Offered

Fall-Spring

Prerequisite

CMP 338.