[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] CNS Regeneration: Basic Science and Clinical Advances

This second edition updates the burgeoning field of regeneration in the Central Nervous System (CNS)..

4,572,000 VNĐ

New
[1825 days] ADVANCES IN GENETICS VOLUME 9

ADVANCES IN GENETICS VOLUME 9..

1,853,000 VNĐ

New
[1825 days] Unsteady-state Fluid Flow: Analysis and Applications to Petroleum Reservoir Behavior

The ubiquitous examples of unsteady-state fluid flow pertain to the production or depletion of oil a..

11,049,000 VNĐ

New
[1825 days] ADVANCES IN CARBOHYDRATE CHEMISTRY VOL11

ADVANCES IN CARBOHYDRATE CHEMISTRY VOL11..

1,853,000 VNĐ

New
[1825 days] Inside PC Card: CardBus and PCMCIA Design: CardBus and PCMCIA Design

PC Card (or PCMCIA) technology allows computers to interface with each other using less space than c..

1,574,000 VNĐ

0898536989