Modeling Software with Finite State Machines
Regular price
€167.40
14 days return policy
Shipping & Delivery
A01=Ferdinand Wagner
A01=Peter Wolstenholme
A01=Ruedi Schmuki
A01=Thomas Wagner
action
actions
advanced state machine implementation
Agile Methods
Author_Ferdinand Wagner
Author_Peter Wolstenholme
Author_Ruedi Schmuki
Author_Thomas Wagner
behavioral system design
Category=UB
Category=UMZ
Category=UY
CMD Object
control
Control Value
DAT
development cycle analysis
DI
diagram
entry
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
executable software frameworks
Finite State Machine
input
Input Actions
Mealy Model
Moore Model
Peripheral Devices
Petri Net
Runtime System
single
Software Project
software reliability methods
software specification modeling
State Idle
State Machine
State Machine Model
State Transition Diagram
State Transition Table
SW Software
Ta Te
table
Tcp
Traffic Light Control
transition
Txt File
UDC
value
Vice Versa
virtual finite state machine
Product details
- ISBN 9780849380860
- Weight: 680g
- Dimensions: 156 x 234mm
- Publication Date: 15 May 2006
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
Wagner, Ferdinand; Schmuki, Ruedi; Wagner, Thomas; Wolstenholme, Peter
