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

ES400 - Formal Methods Anlysis/Desgn
Fall 1999

includes a review of discrete mathematics and first order logic, a survey of formal methods used in software engineering, a detailed study of Z specification language, and discussion of formal design and verification. Students work on a specification team project (using a defined specification process), and study and deliver presentations on articles about recent work in application and research in formal methods. 3 credits
Prerequisites: ES300 and QS400 recommended or permission of department head
3 Credits

Schedule Book Tools
Start a New Search
Revise Search Options
Registration
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...

Traditional
Undergraduate

Graduate
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 ES400
       

No Courses Found

ROBERT MORRIS UNIVERSITY

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