For a better viewing experience, please consider updating your browser.

Please upgrade your browser for a better viewing experience.

You are currently using a browser that we no longer support.
Our website features components that only modern browsers support. To ensure that you receive the best experience while visiting the Robert Morris University website, please upgrade your browser to one of our recommended browsers below.

Google Chrome     Firefox     Internet Explorer
Please note: If you are using a version of Internet Explorer greater than IE 7, please ensure that the compatibility mode of your browser is turned off and/or that the document mode is set higher than IE 7.

What we support for Windows: Google Chrome, Mozilla Firefox, Internet Explorer 9+. Find out more about your browser.

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


6001 University Blvd. Moon Township, PA15108 800-762-0097 © 1995 – 2011 Robert Morris University. All rights reserved.