By Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
This booklet constitutes the completely refereed post-proceedings of the foreign Dagstuhl-Seminar on Architecting platforms with reliable elements, held in Dagstuhl fort, Germany, in December 2004.
The 10 revised complete papers awarded including five invited papers contributed by means of impressive researchers have been conscientiously chosen and integrated within the booklet reflecting ongoing impovement from the seminar. center difficulties addressed through the seminar are dimension and normalization of non-functional homes, modular reasoning over non-functional homes, catch of part requisites in interfaces and protocols, interference and synergy of top-down and bottom-up points, duality of componentization and structure, process houses, and possibilities for correctness by way of construction/static checking.