Modeling Software with Finite State Machines: A Practical Approach

Author:   Ferdinand Wagner ,  Ruedi Schmuki ,  Thomas Wagner ,  Peter Wolstenholme
Publisher:   Taylor & Francis Ltd
ISBN:  

9780367390860


Pages:   390
Publication Date:   30 August 2019
Format:   Paperback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $116.00 Quantity:  
Pre-Order

Share |

Modeling Software with Finite State Machines: A Practical Approach


Add your own review!

Overview

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.

Full Product Details

Author:   Ferdinand Wagner ,  Ruedi Schmuki ,  Thomas Wagner ,  Peter Wolstenholme
Publisher:   Taylor & Francis Ltd
Imprint:   CRC Press
ISBN:  

9780367390860


ISBN 10:   0367390868
Pages:   390
Publication Date:   30 August 2019
Audience:   College/higher education ,  Tertiary & Higher Education
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

The problems of software. Finite state machines. StateWORKS: Principles and practice.

Reviews

Author Information

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

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Spring Reading Guide

 

Spring Reading Guide catalogue for book recommendations

Shopping Cart
Your cart is empty
Shopping cart
Mailing List