[1825 days] Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
[1825 days] Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking [1825 days] Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

[1825 days] Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

CHI TIẾT SẢN PHẨM

Mã sản phẩm:
9780750679497
Tồn kho:
Còn hàng
Nhà xuất bản:
Loại bìa:
Page Fidelity
Ngôn ngữ:
English
Tác giả:
Drusinsky, Doron


Special Price 2,082,000 VNĐ

Còn 100,000,000,000,000,000 VNĐ nữa bạn sẽ được miễn phí giao hàngTìm hiểu thêm

Thời gian giao hàng Xem thêm

Chính sách đổi trả Xem thêm

Số lượng

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 forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice.

· A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically)

· Includes an unclassified case study example from the U.S. Missile Defense project

·Accompanying Companion website includes source code and re-useable statechart templates

Sản phẩm liên quan

New
[1825 days] RNA-Ligand Interactions, Part B: Molecular Biology Methods: Molecular Biology Methods

RNA-Ligand Interactions, Part B focuses on molecular biology methods. Major topics covered include: ..

5,334,000 VNĐ

New
[1825 days] Knowledge-Based Systems, Four-Volume Set: Techniques and Applications

The design of knowledge systems is finding myriad applications from corporate databases to general d..

41,148,000 VNĐ

New
[30 days] Virtual Machines: Versatile Platforms for Systems and Processes

Virtual Machine technology applies the concept of virtualization to an entire machine, circumventing..

647,500 VNĐ

New
[1825 days] Hodgson v. Minnesota, 497 U.S. 417

This title is from the Hayes Barton Press "Originals" series, a collection of classic fiction and no..

38,000 VNĐ

New
[150 days] Plastics Engineering

This book presents in a single volume the basic essentials of the properties and processing behaviou..

739,000 VNĐ

0898536989