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.
1. Issues in Behavior Modeling 2. Math Background 3. Examples 4. Flowcharts 5. Decision Tables 6. Finite State Machines 7. Petri Nets 8. Event-Driven Petri Nets 9. Statecharts 10. Object-Oriented Models 11. Model Comparisons