Catalog search

Catalog links

• Catalog home
• Site map
• Alphabetical index

CMP 408: Software Engineering.

4 hours, 4 credits. 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. PREREQ: CMP 338.

Last modified: 2/22/2013