Modeling Reactive Systems with Statecharts: The Statemate Approach (Software Development) - Hardcover

Harel, David; Politi, Michal

Hardcover

ISBN 10: 0070262055 ISBN 13: 9780070262058

Publisher: McGraw-Hill Education, 1998

Synopsis

Intended for systems engineers, software engineers, and electrical engineers in all fields, this book provides the first detailed description of a set of languages for modeling reactive systems, which underlies the STATEMATE toolset. One key language is Statecharts (invented by author David Harel), perhaps the most popular approach to date for the development of real-time systems. The syntax of the languages is described in a precise and complete manner, and the semantics are developed in a way that clearly and intuitively renders the behavior of modeled systems.

About this title

Synopsis:

Before software engineers design a programme, they need to know if it has a chance of working. By building a prototype of the programme, the software engineer is able to tell if it will work. This text gives the software engineer the tools to build the prototype and test the software.

About this edition

• Publisher: McGraw-Hill Education
• Publication date: 1998
• ISBN 10: 0070262055
• ISBN 13: 9780070262058
• Binding: Hardcover
• Number of pages: 320