**Modeling Reactive Systems with Statecharts**

by D. Harel, M. Politi

**Publisher**: McGraw-Hill 1998**ISBN/ASIN**: 0070262055**ISBN-13**: 9780070262058**Number of pages**: 258

**Description**:

The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities and the data that flows between them.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**Mathematical Methods of Engineering Analysis**

by

**Erhan Cinlar, Robert J. Vanderbei**

This text covers general notions regarding sets, functions, sequences, and series; metric spaces, convergence, continuity, approximations; functions on metric spaces; differential and integral equations; convex analysis; measure and integration.

(

**11670**views)

**Extension Engineering**

by

**Yang Chunyan, Cai Wen**-

**Science Press**

The book systematically elaborates the theoretical foundation, methodology and fields of application of extension engineering and presents application cases. The characteristics of the book lie in its combination of theory with practice.

(

**3208**views)

**Mathematical Methods**

by

**Mihir Sen, Joseph M. Powers**-

**University of Notre Dame**

Multidimensional calculus, linear analysis, linear operators, vector algebra, ordinary differential equations. Directed at first year graduate students in engineering and undergraduates who wish to become better prepared for graduate studies.

(

**18018**views)

**Concise Reliability for Engineers**

by

**Jaroslav Mencik (ed.)**-

**InTech**

Our life is strongly influenced by the reliability of the things we use, as well as of processes and services. Methods for reliability assessment and optimization are thus very important. This book explains the fundamental concepts and tools.

(

**2927**views)