AbstractStateMachinesMethodforHigh-LevelSystemDesign.ppt

? Egon B?rger: The ASM Method Abstract State Machines Methodfor High-Level System Design and Analysis A Software EngineeringTechnique Egon B?rger Dipartimento di Informatica, Universita di Pisa http://www.di.unipi.it/~boerger Overall Goal and Key Concepts Hierarchical System Design Ground Models and Refinements Working Definition and Simple Examples Illustrating function classification clock Illustrating synchronous parallelism Conway’s Game of Life , Daemon Game Illustrating choose Sorting, Non-Deterministic Language Generation, new (Java, Occam, Double Linked List), Sampling