Course Catalog

ES404 - Software Verificati/Validation
Fall 1999

describes the overall approach to specifying software quality, achieving quality, and mapping a quality specification into an appropriate set of activities. It describes the major activities used to cross-check the quality of the software artifact and its development process. This course provides a framework for understanding the application of software verification and validation (V&V) processes and techniques throughout the software development life cycle. The course will analyze five categories of V&V approaches: 1)technical reviews, 2)software testing, 3)proof of correctness (program verification), 4)simulation and protyping, and 5)requirements tracing. For each category, some representative techniques will be identified and assessed. 3 credits
Prerequisites: ES300, ES406, and CI436 or CI466 recommended or permission of the department head
3 Credits

Schedule Book Tools
Start a New Search
Revise Search Options
Don't Miss the Details
Click "Details" for a course description, instructor information, and a link to the instructor's website, where you can find a syllabus, first class information, and more...


Day Codes
 M  Monday
 T  Tuesday
 W  Wednesday
 R  Thursday
 F  Friday
 S  Saturday
 U  Sunday

Schedule Book for All Active and Available Future Terms, Course starting with ES404

No Courses Found