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
The Data Analysis BriefBookby Rudolf K. Bock, Werner Krischer - Springer
A condensed handbook, or an extended glossary, written in encyclopedic format, covering subjects in statistics, computing, analysis, and related fields. It intends to be both introduction and reference for data analysts, scientists and engineers.
(10765 views)
Concise Reliability for Engineersby 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.
(4143 views)
Practical Astronomy for Engineersby Frederick Hanley Seares - Stephens
The main purpose of the volume is an exposition of the principal methods of determining latitude, azimuth, and time. Generally speaking, the limit of precision is that corresponding to the engineer's transit or the sextant.
(13359 views)
Engineering a Safer World: Systems Thinking Applied to Safetyby Nancy G. Leveson - The MIT Press
Revisiting and updating ideas pioneered by 1950s aerospace engineers, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective and easier to use than current techniques.
(10015 views)