Table of ContentsPPT Slide State Machines Coke Machine, Version 1.0 Coke Machine, Version 2.0 Coke Machine, Version 2.1 Coke Machine, Version 3.0 State Machine Problems Statechart Syntax Transition Extensions Variable Extensions Event Extensions Communicating With Activities Semantics of Statecharts Statechart interpretation Formalism Formal Reasoning and Statecharts Extensions to Statecharts State Machine Tool Support |
Author: shawnh
Email: shawnh@cs.cmu.edu Home Page: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15671-f97/www/index.html |