Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi
Publisher: McGraw-Hill 1998
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.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Beginner's Guide to Engineering Drawingby E. R. Latifee
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)
Introduction to Computational Engineeringby Steven J Cox - 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)
An Exploration of Random Processes for Engineersby 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.
(10143 views)
Notes on Diffy Qs: Differential Equations for Engineersby Jiří Lebl - 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)