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 Statistics Handbook- NIST/SEMATECH
The goal of this handbook is to help scientists and engineers incorporate statistical methods in their work as efficiently as possible. Many parts of the book feature case studies or examples with computations from the free downloadable software.
(12073 views)
Profit Signals: How Evidence Based Decisions Power Six Sigma Breakthroughsby M. Daniel Sloan, Russell A. Boyles - Evidence-Based Decisions, Inc.
A pioneering Six Sigma work written by two internationally recognized Master Black Belts. The authors present a unique view on how executives, managers and Six Sigma practitioners can use evidence to make better, more profitable decisions.
(5385 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.
(9232 views)
Mathematics for Engineersby 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.
(10840 views)