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
Handbook of Formulae and Physical Constants- 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.
(13508 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.
(5356 views)
The WRTI Book of Practical Inventingby Alan Finn - Bookboon
This book is intended to be a guide to all those inventors, actual or would-be, those who have yet to take their first real steps toward making their new product dreams come true. WRTI is an inventors club based at Southampton Solent University.
(2586 views)
Past and Present Energy Societiesby 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.
(1113 views)