Modeling Software Behavior

Modeling Software Behavior

by Paul C. Jorgensen
Released July 2009
Publisher(s): Auerbach Publications
ISBN: 9781420080766

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

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.

Table of contents

  1. Front cover
  2. Dedication
  3. Contents (1/2)
  4. Contents (2/2)
  5. Preface
  6. Chapter 1. Issues in Behavior Modeling (1/4)
  7. Chapter 1. Issues in Behavior Modeling (2/4)
  8. Chapter 1. Issues in Behavior Modeling (3/4)
  9. Chapter 1. Issues in Behavior Modeling (4/4)
  10. Chapter 2. Math Background (1/3)
  11. Chapter 2. Math Background (2/3)
  12. Chapter 2. Math Background (3/3)
  13. Chapter 3. Examples (1/4)
  14. Chapter 3. Examples (2/4)
  15. Chapter 3. Examples (3/4)
  16. Chapter 3. Examples (4/4)
  17. Chapter 4. Flowcharts (1/3)
  18. Chapter 4. Flowcharts (2/3)
  19. Chapter 4. Flowcharts (3/3)
  20. Chapter 5. Decision Tables (1/5)
  21. Chapter 5. Decision Tables (2/5)
  22. Chapter 5. Decision Tables (3/5)
  23. Chapter 5. Decision Tables (4/5)
  24. Chapter 5. Decision Tables (5/5)
  25. Chapter 6. Finite State Machines (1/5)
  26. Chapter 6. Finite State Machines (2/5)
  27. Chapter 6. Finite State Machines (3/5)
  28. Chapter 6. Finite State Machines (4/5)
  29. Chapter 6. Finite State Machines (5/5)
  30. Chapter 7. Petri Nets (1/6)
  31. Chapter 7. Petri Nets (2/6)
  32. Chapter 7. Petri Nets (3/6)
  33. Chapter 7. Petri Nets (4/6)
  34. Chapter 7. Petri Nets (5/6)
  35. Chapter 7. Petri Nets (6/6)
  36. Chapter 8. Event-Driven Petri Nets (1/4)
  37. Chapter 8. Event-Driven Petri Nets (2/4)
  38. Chapter 8. Event-Driven Petri Nets (3/4)
  39. Chapter 8. Event-Driven Petri Nets (4/4)
  40. Chapter 9. Statecharts (1/4)
  41. Chapter 9. Statecharts (2/4)
  42. Chapter 9. Statecharts (3/4)
  43. Chapter 9. Statecharts (4/4)
  44. Chapter 10. Object-Oriented Models (1/3)
  45. Chapter 10. Object-Oriented Models (2/3)
  46. Chapter 10. Object-Oriented Models (3/3)
  47. Chapter 11. Model Comparisons (1/4)
  48. Chapter 11. Model Comparisons (2/4)
  49. Chapter 11. Model Comparisons (3/4)
  50. Chapter 11. Model Comparisons (4/4)
  51. Index (1/2)
  52. Index (2/2)
  53. Back cover

Product information

  • Title: Modeling Software Behavior
  • Author(s): Paul C. Jorgensen
  • Release date: July 2009
  • Publisher(s): Auerbach Publications
  • ISBN: 9781420080766