Logo

Modeling Reactive Systems with Statecharts

Large book cover: Modeling Reactive Systems with Statecharts

Modeling Reactive Systems with Statecharts
by

Publisher: McGraw-Hill
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Extension EngineeringExtension Engineering
by - 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.
(2568 views)
Book cover: Boundary Element Methods for EngineersBoundary Element Methods for Engineers
by - Bookboon
The book offers a deliberately simple introduction to boundary element methods applicable to a wide range of engineering problems. The mathematics are kept as simple as reasonably possible. Several boundary element computer programs are presented.
(3153 views)
Book cover: Storage Stability of FuelsStorage Stability of Fuels
by - InTech
This book presents an analysis of the results of studies of motor fuels ageing, conducted in laboratory and model conditions, in terms of building a system operating on-line, allowing continuous assessment of the operational usability of fuels.
(2925 views)
Book cover: Geothermal Energy: Delivering on the Global PotentialGeothermal Energy: Delivering on the Global Potential
by - MDPI AG
After decades of being largely the preserve of countries in volcanic regions, the use of geothermal energy is now expanding worldwide. This reflects its excellent low-carbon credentials and its ability to offer baseload and dispatchable output.
(1474 views)