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 quali...
Đã lưu trong:
| Định dạng: | Sách |
|---|---|
| Ngôn ngữ: | English |
| Được phát hành: |
CRC Press
2009
|
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1469 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-1469 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-14692009-12-02T09:16:30Z 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. 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 2009-12-02T09:16:30Z 2009-12-02T09:16:30Z 2006 Book http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1469 en application/rar CRC Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| 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. |
| format |
Book |
| title |
Modeling Software with Finite State Machines: A Practical Approach |
| spellingShingle |
Modeling Software with Finite State Machines: A Practical Approach |
| title_short |
Modeling Software with Finite State Machines: A Practical Approach |
| title_full |
Modeling Software with Finite State Machines: A Practical Approach |
| title_fullStr |
Modeling Software with Finite State Machines: A Practical Approach |
| title_full_unstemmed |
Modeling Software with Finite State Machines: A Practical Approach |
| title_sort |
modeling software with finite state machines: a practical approach |
| publisher |
CRC Press |
| publishDate |
2009 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/1469 |
| _version_ |
1757661490675974144 |