Modeling Software with Finite State Machines —— A Practical Approach

----- 使用有限状态机建模软件

ISBN: 9780849380860 出版年：2006 页码：391 Wagner, Ferdinand Schmuki, Ruedi Wagner, Thomas Auerbach Publications

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.