Modeling Software Behavior: A Craftsman's Approach
暫譯: 建模軟體行為：工匠的方式

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.