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

No Courses Found