登入選單
返回Google圖書搜尋
Modeling Software with Finite State Machines
Ferdinand WagnerRuedi SchmukiThomas WagnerPeter Wolstenholme
其他書名
A Practical Approach
出版CRC Press, 2006-05-15
主題Computers / GeneralComputers / Information TechnologyComputers / Software Development & Engineering / GeneralMathematics / GeneralComputers / Computer Science
ISBN14200136459781420013641
URLhttp://books.google.com.hk/books?id=YmfLBQAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋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. It 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 text demonstrates the implementation of these concepts using StateWORKS software and introduces the basic components of this software.