ENGLISH

Modeling Software with Finite State Machines: Practical Approach

By Ferdinand Wagner , Ruedi Schmuki , Thomas Wagner , Peter Wolstenholme

Book information

Publisher
Auerbach Publications
Year
2006
ISBN
9780849380860, 0849380863
LCC
QA76.76.D47 M625 2006
Open Library ID
OL3418848M
Language
english
Format
PDF
Filesize
12 MB (12425605 bytes)
Edition
1
Pages
369\369
Library
mexmat
Time added
2009-07-20 03:45:11
Информатика и вычислительная техника;Теория автома

Description

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. It 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 text demonstrates the implementation of these concepts using StateWORKS software and introduces the basic components of this software.

Similar books