 |
|
|
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 |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|