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)
- Power Engineering Training Systems
For the use of students and examination candidates, approved by the Interprovincial Power Engineering Curriculum Committee and the Provincial Chief Inspectors' Association's Committee for the standardization of Power Engineer's Examinations in Canada.
by Yang Chunyan, Cai Wen - 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.
by Charles B. Clapham - Chapman & Hall
This book is an endeavour to treat the elementary portions of Practical Mathematics in a thorough and practical manner and with a sufficient amount of engineering application, suitable for elementary students of technical schools and for home study.
by Nina Möllers, Karin Zachmann - De Gruyter Open
Focussing on a range of energy types, this volume analyzes the social, cultural and political concepts of energy and their implementation and materialization within technical systems, applications, media representations and consumer practice.