Год издания: 2007
Издатель: World Scientific Publishing Company
Количество страниц: 368
В продаже с 18.01.2012
Как только книга Mathematical Frameworks for Component Software: Models for Analysis and Synthesis станет доступна для заказа в одном из интернет-магазинов, Вам на e-mail будет отправлено уведомление.Укажите e-mail для связи:
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...