Table of ContentsPPT Slide State Machine Models: The Story So Far The Next Four Lectures The Mathematics of Z Schemas The Method of Z State Machines in Z Schemas The State Space BirthdayBook Example Observation Initial State Operations Operations (2) Add Birthday Derived Components Reasoning About the Specification Find Birthday Remind Summary Error Handling Successful Operations Add Birthday- revised Detecting Errors Combining the Parts The Other Operations Advantages of Approach Observation Other Uses of the Schema Calculus Summary PPT Slide Last slide State Machines in Z Global Variables Example (continued) Problems with this Approach |
Author: David Garlan
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |