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

by B. S. Dhillon, Chanan Singh - John Wiley & Sons
The scope of reliability engineering is extremely wide, encompassing many areas of engineering technology. Reliability engineering helps ensure the success of space missions, maintain the national security, provide reliable transportation, and so on.
(4863 views)

by William Neville Rose - Chapman
These two volumes form a most comprehensive and practical treatise on the subject. They show the direct bearing of all principles to engineering practice, and will prove a valuable reference work embracing all the mathematics needed by engineers.
(14615 views)

by Sanjoy Mahajan - The MIT Press
Sanjoy Mahajan shows us that the way to master complexity is through insight rather than precision. He first teaches the tools for organizing complexity, then distinguishes two paths for discarding complexity: with and without loss of information.
(6301 views)

by Karel Perutka - InTech
The book presents several approaches in the key areas of practice for which the MATLAB software package was used. It will be of great interest to control and electrical engineers and students in the fields of research the book covers.
(9447 views)