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)
by Nancy G. Leveson - The MIT Press
Revisiting and updating ideas pioneered by 1950s aerospace engineers, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective and easier to use than current techniques.
- 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.
The goal of this handbook is to help scientists and engineers incorporate statistical methods in their work as efficiently as possible. Many parts of the book feature case studies or examples with computations from the free downloadable software.
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.