000			03068nam a22005655i 4500
001			978-3-540-35833-6
003			DE-He213
005			20160624101932.0
007			cr nn 008mamaa
008			100301s2006 gw | s |||| 0|eng d
020			_a9783540358336 _9978-3-540-35833-6
024	7		_a10.1007/11786160 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aArchitecting Systems with Trustworthy Components _h[electronic resource] : _bInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / _cedited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.
260		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2006.
300			_aX, 299 p. Also available online. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v3938
505	0		_aInvited 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.
650		0	_aComputer science.
650		0	_aComputer Communication Networks.
650		0	_aSoftware engineering.
650		0	_aOperating systems (Computers).
650		0	_aLogic design.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aComputer Communication Networks.
650	2	4	_aProgramming Techniques.
650	2	4	_aOperating Systems.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aReussner, Ralf H. _eeditor.
700	1		_aStafford, Judith A. _eeditor.
700	1		_aSzyperski, Clemens A. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783540358008
786			_dSpringer
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v3938
856	4	0	_uhttp://dx.doi.org/10.1007/11786160
942			_2EBK4187 _cEBK
999			_c33481 _d33481