ENGLISH

Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

By Judith A. Stafford , Lars Frantzen , Jan Tretmans (auth.) , Antonia Bertolino , Andrea Polini , Ralf H. Reussner , Clemens A. Szyperski (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
978-3-540-35800-8, 978-3-540-35833-6
DOI
10.1007/11786160
Language
english
Format
PDF
Filesize
4 MB (3670413 bytes)
Series
Lecture Notes in Computer Science 3938
Edition
1
Pages
299\308
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Logics and Meanings of ProgramsSoftware Engineering; Computer Communication Netwo

Description

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.

Similar books