 |
|
|
Item Details
| Title:
|
MATHEMATICAL FRAMEWORKS FOR COMPONENT SOFTWARE: MODELS FOR ANALYSIS AND SYNTHESIS
|
| By: |
Zhiming Liu (Editor), He Jifeng (Editor) |
| Format: |
Hardback |
| List price:
|
£141.00 |
| Our price: |
£126.90 |
| Discount: |
|
| You save:
|
£14.10 |
|
|
|
|
|
| ISBN 10: |
981270017X |
| ISBN 13: |
9789812700179 |
| Availability: |
Reprinting. This item may be subject to delays or cancellation.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
WORLD SCIENTIFIC PUBLISHING CO PTE LTD |
| Pub. date: |
1 November, 2006 |
| Series: |
Series On Component-based Software Development 2 |
| Pages: |
368 |
| Description: |
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. This volume focuses on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. |
| Synopsis: |
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this volume is its focus on mathematical models that identify the "core" concepts as first class modeling elements, and its providing of techniques for integrating and relating them. The volume contains eleven chapters by well-established researchers writing from different perspectives. Each chapter gives explicit definitions of components in terms of a set of key aspects and addresses some of the problems of integration and analysis of various views: component specification, component composition, component coordination, refinement and substitution, and techniques for solving problems. The concepts and techniques are motivated and explained with the help of examples and case studies. |
| Publication: |
Singapore |
| Imprint: |
World Scientific Publishing Co Pte Ltd |
| Returns: |
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.
|
|
|
|