论文信息 - Modeling Software with Finite State Machines : A Practical Approach

Modeling Software with Finite State Machines : A Practical Approach

Modeling Software with Finite State Machines: A Practical Approach explains how to apply finite state machines to software development. It provides a critical analysis of using finite state machines as a foundation for executable specifications to reduce software development effort and improve quality. This book discusses the design of a state machine and of a system of state machines. It also presents a detailed analysis of development issues relating to behavior modeling with design examples and design rules for using finite state machines.

[1] C. Edwards. Modelling standard gets ready for second round , 2003 .

[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3] David J. Comer. Digital logic and state machine design , 1984 .

[4] S. Seshu,et al. Introduction to the theory of finite-state machines , 1963 .

[5] J. Taylor,et al. Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[6] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .

[7] Owen Astrachan,et al. On the Cruelty of Really Teaching Computer Science redux , 2005 .

[8] Peter H. Welch. GOTO (Considered Harmful) n, n is Odd} , 1988 .