دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
دانلود کتاب سیستم های معماری با اجزای قابل اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 12-17 دسامبر 2004. مقالات منتخب منتخب
مشخصات کتاب
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
ویرایش: 1 نویسندگان: Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans (auth.), Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.) سری: Lecture Notes in Computer Science 3938 ISBN (شابک) : 3540358005, 9783540358008 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 308 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب سیستم های معماری با اجزای قابل اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 12-17 دسامبر 2004. مقالات منتخب منتخب: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، سیستم عامل ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها
در صورت تبدیل فایل کتاب Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های معماری با اجزای قابل اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 12-17 دسامبر 2004. مقالات منتخب منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های معماری با اجزای قابل اطمینان: سمینار بین المللی، قلعه دقتلو، آلمان، 12-17 دسامبر 2004. مقالات منتخب منتخب
این کتاب مجموعه مقالات پس از داوری کامل سمینار بین المللی داگستول در مورد سیستم های معماری با اجزای قابل اعتماد است که در قلعه داگستول، آلمان، در دسامبر 2004 برگزار شد.
10 مقاله کامل اصلاح شده با هم ارائه شدند. با 5 مقاله دعوت شده توسط محققین برجسته به دقت انتخاب و در کتاب گنجانده شد که نشان دهنده بهبود مداوم از سمینار است. مشکلات اصلی مورد بررسی در سمینار عبارتند از: اندازه‌گیری و عادی‌سازی ویژگی‌های غیرعملکردی، استدلال ماژولار نسبت به ویژگی‌های غیرعملکردی، گرفتن الزامات مؤلفه در رابط‌ها و پروتکل‌ها، تداخل و هم‌افزایی جنبه‌های بالا به پایین و پایین به بالا، دوگانگی مؤلفه‌سازی و معماری، ویژگی‌های سیستم، و فرصت‌هایی برای صحت با بررسی ساخت و ساز/استاتیک.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages -
Audition of Web Services for Testing Conformance to Open Specified Protocols....Pages 1-25
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation....Pages 26-47
Making Specifications Complete Through Models....Pages 48-70
Bus Scheduling for TDL Components....Pages 71-83
Refinement and Consistency in Component Models with Multiple Views....Pages 84-102
A Taxonomy on Component-Based Software Engineering Methods....Pages 103-119
Unifying Hardware and Software Components for Embedded System Development....Pages 120-136
On the Composition of Compositional Reasoning....Pages 137-151
Trustworthy Instantiation of Frameworks....Pages 152-168
Performance Prediction of Component-Based Systems....Pages 169-192
Towards an Engineering Approach to Component Adaptation....Pages 193-215
Compatible Component Upgrades Through Smart Component Swapping....Pages 216-226
Exceptions in Component Interaction Protocols – Necessity....Pages 227-244
Coalgebraic Semantics for Component Systems....Pages 245-261
A Type Theoretic Framework for Formal Metamodelling....Pages 262-298
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Biological Abstracts / BIOSIS: The First Fifty Years. The Evolution of a Major Science Information Service
دانلود کتاب De docta ignorantia
دانلود کتاب Chess Visualization Course Book2: Kingside Sacrifices and Combinations (with preparatory positions)
