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: Beginner's Guide to Engineering DrawingBeginner's Guide to Engineering Drawing
by
This is a book for beginners in engineering drawing in any engineering. Contents: Review of Geometry; Classical Viewing; Dimensioning, Line Types and Other Views; Development of solids and Others; Lessons in AutoCAD; Sample Questions and Exercises.
(3361 views)
Book cover: Introduction to Computational EngineeringIntroduction to Computational Engineering
by - Rice University
We strive to speak the Matlab language free of syntactic error, to confidently translate English simulation and/or design questions, to identify the proper numerical method for the job, and to represent the solution in a visually striking way.
(6142 views)
Book cover: An Exploration of Random Processes for EngineersAn Exploration of Random Processes for Engineers
by - 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.
(10143 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.
(34725 views)