Modeling and Verification Using UML Statecharts： A Working Guide to Reactive System Design， Runtime Monitoring and Execution-based Model Checking（Doron Drusinsky）（Newnes 2006）
内容简介：
书名：Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
出版社：Newnes
作者：Doron Drusinsky
出版年份：2006
电子书格式： pdf
简介：《Modeling and Verification Using UML Statecharts》一书，深入探讨了UML状态图在反应系统设计中的应用。作者Doron Drusinsky详细介绍了如何利用UML状态图进行系统建模、运行时监控和基于执行的模型检查。此书不仅适合系统设计师和软件工程师，还为学术研究提供了丰富的理论和实践指导。
ISBN：9780750679497, 07506
出版社：Newnes
作者：Doron Drusinsky
出版年份：2006
电子书格式： pdf
简介：《Modeling and Verification Using UML Statecharts》一书，深入探讨了UML状态图在反应系统设计中的应用。作者Doron Drusinsky详细介绍了如何利用UML状态图进行系统建模、运行时监控和基于执行的模型检查。此书不仅适合系统设计师和软件工程师，还为学术研究提供了丰富的理论和实践指导。
ISBN：9780750679497, 07506
下载地址：
猜你喜欢：
