Course Catalog - 2003-2004

     

COMP 410 - SOFTWARE ENGINEER METHODOLOLGY

Long Title:
Department: Computer Science
Grade Mode: Standard Letter
Course Type: Lecture
Credit Hours: 4
Prerequisite(s): COMP 210 AND COMP 212 AND COMP 314
Description: SOFTWARE ENGINEERING METHODOLOGY ***** Designing software for effective implementation and maintenance. Formal techniques for program specification and correctness proofs. Case studies examining what works, what doesn't and why. Programming assignments will include maintenance exercises and team projects. ***** Prerequisite(s): COMP 210, 212, and 314.