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
Engineering Societies and Undergraduate Engineering Education- National Academy of Engineering
Engineering societies work largely independently on undergraduate education. To explore the potential for enhancing societies role, National Academy of Engineering held a workshop on the engagement of engineering societies in undergraduate education.
(560 views)
Practical Astronomy for Engineersby 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.
(10706 views)
Boundary Element Methods for Engineersby Roger Fenner - Bookboon
The book offers a deliberately simple introduction to boundary element methods applicable to a wide range of engineering problems. The mathematics are kept as simple as reasonably possible. Several boundary element computer programs are presented.
(2950 views)
An Introduction to Solving Engineering Problems with Matlabby Darryl Morrell - CK-12 Foundation
Matlab is a language used by several computational packages known as m-file environments. This text introduces freshman engineering students to problem solving using an m-file environment. Most of the information applies to any environment.
(8814 views)