Architecting systems with trustworthy components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers

著者

書誌事項

Architecting systems with trustworthy components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers

Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)

(Lecture notes in computer science, 3938)

Springer, c2006

大学図書館所蔵 件 / 7

この図書・雑誌をさがす

注記

Includes bibliographical refernces and index

内容説明・目次

内容説明

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.

目次

Invited Articles.- Audition of Web Services for Testing Conformance to Open Specified Protocols.- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.- Making Specifications Complete Through Models.- Bus Scheduling for TDL Components.- Refinement and Consistency in Component Models with Multiple Views.- Articles by Participants.- A Taxonomy on Component-Based Software Engineering Methods.- Unifying Hardware and Software Components for Embedded System Development.- On the Composition of Compositional Reasoning.- Trustworthy Instantiation of Frameworks.- Performance Prediction of Component-Based Systems.- Towards an Engineering Approach to Component Adaptation.- Compatible Component Upgrades Through Smart Component Swapping.- Exceptions in Component Interaction Protocols - Necessity.- Coalgebraic Semantics for Component Systems.- A Type Theoretic Framework for Formal Metamodelling.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA77643608
  • ISBN
    • 3540358005
  • LCCN
    2006905119
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin
  • ページ数/冊数
    x, 298 p.
  • 大きさ
    24 cm
  • 分類
  • 親書誌ID
ページトップへ