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.