Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers: 3938 (Lecture Notes in Computer Science, 3938) - Softcover

 
9783540358008: Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers: 3938 (Lecture Notes in Computer Science, 3938)
Softcover
ISBN 10: 3540358005 ISBN 13: 9783540358008
Publisher: Springer, 2006

Synopsis

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.

"synopsis" may belong to another edition of this title.

Product Description

Architecting Systems with Trustworthy Components Constitutes the refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. This book discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, and more.

Synopsis

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.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2006
Language
English
ISBN 10 
3540358005
ISBN 13 
9783540358008
Binding
Paperback
Number of pages
309
Editor
Reussner Ralf H., Stafford Judith A., Szyperski Clemens A.