Modeling Software with Finite State Machines: A Practical Approach

1st Edition

Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner, Peter Wolstenholme

Auerbach Publications
Published May 15, 2006
Reference - 390 Pages - 195 B/W Illustrations
ISBN 9780849380860 - CAT# AU8086

For Instructors Request Inspection Copy


Add to Wish List
FREE Standard Shipping!


  • Proposes a radically new method of software development based upon the intensive use of finite state machines for the specification of software behavior
  • Offers expert opinion and analysis of the problems that traditionally afflict development
  • Provides rules for designing a finite state machine and systems of state machines
  • Contains numerous worked-out examples that enable better comprehension of both principles and practice
  • Furnishes a link for a free download of StateWORKS development tools, source code of all examples, and additional technical notes not found in the book
  • Enables purchasers of the book to obtain an unlimited-time use license for the StateWORKS Studio LE development tools, free of charge, which is otherwise limited to 30 days
  • Summary

    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.

    This volume describes a coherent and well-tested framework for generating reliable software for even the most complex tasks. The authors demonstrate that the established practice of using a specification as a basis for coding is wrong. Divided into three parts, this book opens by delivering the authors' expert opinions on software, covering the evolution of development as well as costs, methods, programmers, and the development cycle. The remaining two parts encourage the use of state machines: promoting the virtual finite state machine (Vfsm) method and the StateWORKS development tools.


    We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

    Request an
    e-inspection copy

    Share this Title