Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi
Publisher: McGraw-Hill 1998
Number of pages: 258
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:
(multiple PDF files)
- 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.
by 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.
by 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.
by 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.