Architecting Systems with Trustworthy Components
Publication year: 2006
ISBN: 978-3-540-35833-6
Internet Resource: Please Login to download book
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. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are 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, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Subject: Computer Science, Exception, Isabelle, HOL, component interaction, component management, component models, component-based software engineering, distributed computing, distributed systems, embedded systems, formal methods, metamodelling, modeling, performance analysis, semantics, systems testin
