|
|
|
Item Details
Title:
|
MODELING REACTIVE SYSTEMS WITH STATECHARTS
|
By: |
David Harel, Michal Polti, Michal Politi |
Format: |
Hardback |
List price:
|
£51.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0070262055 |
ISBN 13: |
9780070262058 |
Publisher: |
MCGRAW-HILL EDUCATION - EUROPE |
Pub. date: |
1 August, 1998 |
Pages: |
320 |
Description: |
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. |
Synopsis: |
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 (i.e., the functional building blocks-capabilities or objects) and the data that flows between them. These two languages are used to develop a conceptual model of the system, which can be combined with the system's physical, or structural model, described in a third language-Module-charts. The three languages are highly diagrammatic in nature, constituting full-fledged visual formalisms, complete with rigorous semantics. They are accompanied by a Data Dictionary for specifying additional parts of the model that are textual in nature. |
Illustrations: |
illustrations |
Publication: |
US |
Imprint: |
McGraw-Hill Inc.,US |
Returns: |
Non-returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|