Modeling Software with Finite State Machines: A Practical Approach

Valutazione media 5
( su 1 valutazioni fornite da GoodReads )
 
9780849380860: Modeling Software with Finite State Machines: A Practical Approach

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:

The Problems of Software
Evolution of Software Development
The Price of Weakness
Software as Engineering?

Finite State Machines
Introduction, Definitions, and Notation
Hardware Applications
Software Specific
Misunderstandings about FSM
Designing a State Machine
Systems of State Machines

StateWORKS: Principles and Practice
StateWORKS
Digital Input and Output
Other Inputs
Other Outputs
Counters
VFSM and Its Interfaces
Debugging Vfsm
What Is StateWORKS?

Appendices
Case Studies
Microwave Oven Control - Use of StateWORKS Development Tools
Gas Control - Hierarchical System of State Machines
Dining Philosophers Problem
Going Beyond the Limitations of IEC 61131-3
Traffic Light Control - Design of the Hardware Solution
Coding Finite State Machine - Vending Machine Counter Example
IOD File of the StandardUnit
StateWORKS Projects
Vending Machine Counter Project
Pedestrian Traffic Light Project
Pumps Supervision Project
Output Function CalcLimits( )
Traffic Light Project
DI_DO Project
Other_Inputs Project
Other_Outputs Project
Counters Project
Attributes of RTDB Objects
StateWORKS Tools and Components

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Wagner, Ferdinand; Schmuki, Ruedi; Wagner, Thomas; Wolstenholme, Peter
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Quantità: > 20
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97808493808600000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 99,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Ferdinand Wagner
Editore: Auerbach Publications (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Quantità: > 20
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2006. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria F9-9780849380860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 96,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,38
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Ferdinand Wagner, Ruedi Schmuki, Thomas Wagner, Peter Wolstenholme
Editore: Auerbach Publications (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2006. Hardcover. Condizione libro: New. Codice libro della libreria DADAX0849380863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 104,15
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

4.

Wagner, Ferdinand; Schmuki, Ruedi; Wagner, Thomas; Wolstenholme, Peter
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Quantità: > 20
Print on Demand
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Codice libro della libreria POD_9780849380860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 111,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

5.

WAGNER, FERDINAND; SCHMUKI, RUEDI; WAGNER, THOMAS; WOLSTENHOLME, PETER.
Editore: Auerbach Publications (2017)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2017. Hardback. Condizione libro: NEW. 9780849380860 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Print on Demand title, produced to the highest standard, and there would be a delay in dispatch of around 10 working days. Codice libro della libreria HTANDREE0252100

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 102,20
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,23
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Ferdinand Wagner; Ruedi Schmuki; Thomas Wagner; Peter Wolstenholme
Editore: Auerbach Publications (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2006. Hardcover. Condizione libro: New. Codice libro della libreria SONG0849380863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 109,18
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

7.

Wagner, Ferdinand
Editore: Auerbach Publications (2016)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780849380860_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 110,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,85
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Wagner, Ferdinand; Schmuki, Ruedi; Wagner, Thomas; Wolstenholme, Peter
Editore: Auerbach Publications (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2006. Hardcover. Condizione libro: New. book. Codice libro della libreria 0849380863

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 116,33
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Wagner, Ferdinand (EDT)/ Schmuki, Ruedi/ Wagner, Thomas/ Wolstenholme, Peter
Editore: Taylor and Francis (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Quantità: 1
Da
Paperbackshop-US
(Commerce, GA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Taylor and Francis, 2006. HRD. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria VT-9780849380860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 119,93
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

10.

Ferdinand Wagner
Editore: Auerbach Publications (2006)
ISBN 10: 0849380863 ISBN 13: 9780849380860
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Auerbach Publications, 2006. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780849380860

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 123,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,68
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro