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
Engineering Societies and Undergraduate Engineering Education- National Academy of Engineering
Engineering societies work largely independently on undergraduate education. To explore the potential for enhancing societies role, National Academy of Engineering held a workshop on the engagement of engineering societies in undergraduate education.
(1025 views)
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.
(8828 views)
An Exploration of Random Processes for Engineersby Bruce Hajek - University of Illinois at Urbana-Champaign
These notes were written for a graduate course on random processes. Students are assumed to have had a previous course in probability, some familiarity with real analysis and linear algebra, and some familiarity with complex analysis.
(9144 views)
Geology for Engineersby Robert Fox Sorsbie - Griffin
A knowledge of geology is of the first importance to the practical engineer. The author compiled the requisite information in a clear and concise manner in one volume, in the hope that it may serve as a handy book of reference.
(17214 views)