Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Autor: Liu Zhiming

Jazyk:

Väzba: Pevná

Vydavateľ: World Scientific Publishing Co Pte Ltd

Dostupnosť: Čaká sa dotlač

Termín neznámy

180.79 €

The range of components technology is both wide and diverse, but some common understanding is emergi...

Informácie o knihe

Autor

Liu Zhiming

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2006

Stránok

368

EAN

9789812700179

ISBN

981270017X

Enbook ID

05068553

Vydavateľ

World Scientific Publishing Co Pte Ltd

Hmotnosť

766

Rozmery

172 x 248 x 26

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež