Synopses & Reviews
A common problem with most resources on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models-focusing on what the software is, rather than what it does. If they do cover behavioral models, the coverage is brief and usually focused on a single model. Designed to meet the hands-on needs of those working in the field, especially those concerned with testing, Modeling Software Behavior: A Craftsman's Approach provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing.
Use the Right Behavioral Model, and Let the Model Do the Work
Based on a highly popular and continually evolving course on requirements specification models taught by the author at universities and corporate environments, the text covers six behavioral models, and provides the background behind these models, including the required mathematics. Flowcharts, decision tables, finite state machines, two variations of Petri Nets, and StateCharts are all covered in this text.
As evidence of models at work, the author introduces eleven continuing examples, five of which are illustrated with the six models, making it easy to compare the expressive power of the various models. The examples are chosen to reflect a wide variety of behavioral issues.
The book's complete coverage will enable readers to develop a solid understanding of the expressive capabilities and limitations of the various models of system behavior so they can make informed and appropriate choices among different models when confronted with new challenges.
Synopsis
A common problem with most texts on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models?focusing on what the software is, rather than what it does. If they do cover behavioral models, the coverage is brief and usually focused on a single model. Modeling Software Behavior: A Craftsman's Approach provides detailed treatment of various models of software behavior that support early analysis, comprehension, and model-based testing.
Based on the popular and continually evolving course on requirements specification models taught by the author at universities and corporate environments, the text covers six behavioral models?providing the background behind these models and the required mathematics. As evidence of models at work, the author introduces eleven continuing examples. Five of these examples are illustrated with the six models, allowing readers to easily compare the expressive power of the various models. The examples chosen reflect a wide variety of behavioral issues.
Providing complete coverage that includes flowcharts, decision tables, finite state machines, two variations of Petri Nets, and StateCharts, this book will help students develop the understanding of the expressive capabilities and limitations of models of system behavior needed to make informed and appropriate choices among different models when confronted with new challenges.
Synopsis
This book provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing. The expressive capabilities and limitations of each behavioral model are also discussed.