Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

By: Doron Drusinsky

Write A Review

Hardcover | 3 April 2006

At a Glance

Hardcover
400 Pages

Dimensions(cm)
22.86 x 15.24 x 1.91

Hardcover

RRP $145.95

$135.75

or 4 interest-free payments of $33.94 with

Ships in 5 to 7 business days

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 CD-ROM includes source code and re-useable statechart templates

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Engineering & Technology Energy Technology & Engineering Electrical Engineering Electronics & Communications Engineering Electronics Engineering Computing & I.T.Computer Programming & Software Development Software Engineering Computer Science Systems Analysis & Design Mechanical Engineering & Materials

Mechanical Engineering

Motivation
The Need for Computer Based Verification
The Desired Process Triangle
The Need for Integration: Uml Statecharts and Formal Specifications
Assertion Languages, Applications, and Tools
Primary Assertion/Specification Languages: Temporal Logic and Statecharts
Applications: formal methods, run-time monitoring
Classical Formal Methods
Runtime Monitoring and Verification
Automatic Test Generation and Execution-based Model Checking
Run-time Control Flow using Assertions (Exception Handling) 2.3 Writing Temporal Logic Assertions: the Process
Tools
Integration: Uml-Statecharts Integrated with Temporal Logic Assertions
Statechart Specifications
TlCharts
Tools
Advanced Topics
Petri Nets for Distributed Systems
Other Specification Languages: Ctl, Ctl+,z
Automata over Infinite Sequences
Automata and Semigroups
Ltl vs. First Order Logic and Sql, Ltl vs. Regular Expressions
Ltl and Statechart Semantics
Knowledge Monitoring
Table of Contents provided by Publisher. All Rights Reserved.

Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

GenAI Security

Secure Chatbots and Agent Systems

GenAI Security

Secure Chatbots and Agent Systems

Knowledge Graph and Semantic Web Technology based XAI

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Essence of Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Coding All-in-One For Dummies

2nd Edition

Refactoring 2ed

Improving the Design of Existing Code

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Arduino for Dummies

Blackwell Philosophy Anthologies

Hacking For Dummies

For Dummies (Computer/Tech)

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

The Psychology of Software Teams

Head First Object-Oriented Analysis and Design

A Brain Friendly Guide to OOA &D

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Typescript Cookbook

Real World Type-Level Programming

This product is categorised by