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