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)
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 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.
by 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.
by 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.