Modeling Software with Finite State Machines

Informationen zum Autor Wagner! Ferdinand; Schmuki! Ruedi; Wagner! Thomas; Wolstenholme! Peter Klappentext 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. Zusammenfassung Explains how to apply finite state machines to software development. This book presents an analysis of development issues relating to behavior modeling with design examples and design rules for using finite state machines. It demonstrates the implementation of these concepts using StateWORKS software. Inhaltsverzeichnis The problems of software. Finite state machines. StateWORKS: Principles and practice.

Product details

• Authors: Ruedi Schmuki, Schmuki Ruedi, Ferdinand Wagner, Thomas Wagner, Wagner Ferdinand, Wagner Thomas, Peter Wolstenholme, Wolstenholme Peter
• Publisher: CRC Press
• Languages: English
• Product format: Hardback
• Released: 15.05.2006
• EAN: 9780849380860
• ISBN: 978-0-8493-8086-0
• Dimensions: 160 mm x 240 mm x 23 mm
• Subjects: Education and learning > Teaching preparation > Vocational needs; Natural sciences, medicine, IT, technology > IT, data processing > IT; Software Engineering, COMPUTERS / General, MATHEMATICS / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Information Technology, computer science, Information technology: general topics