Quick Index

• _____ .
• State Machine Models: The Story So Far .
• The Next Five Lectures .
• The Mathematics of Z .
• Schemas .
• The Method of Z .
• State Machines in Z Global Variables .
• Example (continued) .
• Problems with this Approach .
• State Machines in Z Schemas .
• The State Space .
• BirthdayBook .
• Example .
• Observation .
• Initial State .
• Operations .
• _____ .
• 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 .
• _____ .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.