Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets fo...

全面介绍

Đã lưu trong:
书目详细资料
主要作者: Drusinsky, Doron
格式: 图书
语言:Undetermined
出版: Burlington, MA Newnes 2006
主题:
标签: 添加标签
没有标签, 成为第一个标记此记录!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

相似书籍