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

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

Code

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

The Essence of Software Engineering

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Refactoring 2ed

Improving the Design of Existing Code

C++ Programming Language (hardcover), The

Design Patterns

Elements of Reusable Object-Oriented Software

Arduino for Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Industry 4.0 and Machine Learning

Concepts, Strategies, and Innovations for Modern Manufacturing

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Learning Algorithms

A Programmer's Guide to Writing Better Code

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

This product is categorised by