Logo

Modeling Reactive Systems with Statecharts

Large book cover: Modeling Reactive Systems with Statecharts

Modeling Reactive Systems with Statecharts
by

Publisher: McGraw-Hill
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Extension EngineeringExtension Engineering
by - Science Press
The book systematically elaborates the theoretical foundation, methodology and fields of application of extension engineering and presents application cases. The characteristics of the book lie in its combination of theory with practice.
(3347 views)
Book cover: Mathematics for EngineersMathematics for Engineers
by - 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.
(11485 views)
Book cover: Engineering a Safer World: Systems Thinking Applied to SafetyEngineering a Safer World: Systems Thinking Applied to Safety
by - 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.
(9085 views)
Book cover: Notes on Diffy Qs: Differential Equations for EngineersNotes on Diffy Qs: Differential Equations for Engineers
by - Lulu.com
One semester introductory course on differential equations aimed at engineers. The book covers first order ODEs, higher order linear ODEs, systems of ODEs, Fourier series and PDEs, eigenvalue problems, and the Laplace transform.
(34431 views)