Reviews for Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

The average rating for Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking based on 2 reviews is 3 stars.

Review # 1 was written on 2014-10-22 00:00:00 Pierre Gr�goire Great intro book, well explained with thorough explanations and provoking examples. I'm just not a huge fan of C and this book stops short of really getting into the OO aspects of C++

Review # 2 was written on 2015-07-28 00:00:00 Justin Mendez Section 3 "The principles of object-oriented design" are still very relevant - especially chapter 8 on Encapsulation and Connasence, Chapter 9 Domains, Encumberance, and Cohesion and Chapter 11 The Perils of Inheritance and Polymorphism