Software Engineering
Download as PDF
Overview
Subject area
CMP
Catalog Number
737
Course Title
Software Engineering
Department(s)
Description
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.
Typically Offered
Fall, Spring
Academic Career
Graduate
Liberal Arts
Yes
Credits
Minimum Units
4
Maximum Units
4
Academic Progress Units
4
Repeat For Credit
No
Components
Name
Lecture
Hours
4