Modeling Software with Finite State Machines: A Practical Approach - Image 1

£59.27

CRC Press Modeling Software with Finite State Machines: A Practical Approach

Name: Modeling Software with Finite State Machines: A Practical Approach
Brand: CRC Press
Price: 58.24 GBP
Availability: InStock

Introduction to Programming

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £59 (22 days, 53.7%)

Price range: £58 - £59

Price levels: 3 different prices over 41 days

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. 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.

Product Specifications

Brand: CRC Press
Format: paperback
ASIN: 0367390868
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 19 September 2019
Listed Since: 08 August 2019

Barcode

No barcode data available

CRC Press Modeling Software with Finite State Machines: A Practical Approach

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Modeling Software with Finite State Machines: A Practical Approach

CRC Press Handbook of Finite State Based Models and Applications

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Digital System Design using FSMs: A Practical Learning Approach

Microprogrammed State Machine Design

The Art of Software Modeling

CRC Press Discrete-Event Modeling and Simulation Textbook

Software Engineering: A Methodical Approach, 2nd Edition

Software Engineering: A Methodical Approach, 2nd Edition

Modeling Software Behavior: A Craftsman's Approach

Wiley FSM-based Digital Design using Verilog HDL Book

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Formal Methods in Computer Science (Textbooks in Mathematics)

How to Engineer Software: A Model-Based Approach

What Every Engineer Should Know about Software Engineering

Modeling Software Behavior: A Craftsman's Approach

Foundations of Software Engineering

Feature-Oriented Software Product Lines: Concepts and Implementation

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Specifying Software: A Hands-On Introduction

Formal Methods in Computer Science (Textbooks in Mathematics)

Software Metrics: A Rigorous and Practical Approach, Third Edition (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)