4635550
9780750679497
UML expert Doron Drusinsky compiles all the information needed on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification.Drusinsky, Doron is the author of 'Modeling And Verification Using UML Statecharts A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking', published 2006 under ISBN 9780750679497 and ISBN 0750679492.
[read more]