دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
دانلود کتاب ترکیب نرم افزار: دهمین کنفرانس بین المللی، SC 2011، زوریخ، سوئیس، 30 ژوئن - 1 ژوئیه 2011. مجموعه مقالات
مشخصات کتاب
Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
ویرایش: 1 نویسندگان: Perla Velasco Elizondo, Mbe Koua Christophe Ndjatchi (auth.), Sven Apel, Ethan Jackson (eds.) سری: Lecture Notes in Computer Science 6708 : Programming and Software Engineering ISBN (شابک) : 9783642220449, 9783642220456 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 188 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 65,000
کلمات کلیدی مربوط به کتاب ترکیب نرم افزار: دهمین کنفرانس بین المللی، SC 2011، زوریخ، سوئیس، 30 ژوئن - 1 ژوئیه 2011. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ترکیب نرم افزار: دهمین کنفرانس بین المللی، SC 2011، زوریخ، سوئیس، 30 ژوئن - 1 ژوئیه 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ترکیب نرم افزار: دهمین کنفرانس بین المللی، SC 2011، زوریخ، سوئیس، 30 ژوئن - 1 ژوئیه 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بینالمللی ترکیب نرمافزار، SC 2011، برگزار شده در زوریخ، سوئیس، در ژوئن/ژوئیه 2011، همزمان با کنفرانسهای فدرال TOOLS 2011 است. 10 مقاله کامل اصلاحشده و 2 مقاله کوتاه مقالات به دقت بررسی و از بین 32 مقاله ارسالی اولیه برای گنجاندن در کتاب انتخاب شدند. مقالات منعکس کننده تمام تحقیقات فعلی در ترکیب نرم افزار هستند و در بخش های موضوعی در ترکیب و رابط ها، جنبه ها و ویژگی ها، و برنامه ها سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
The book constitutes the refereed proceedings of the 10th International Conference on Software Composition, SC 2011, held in Zurich, Switzerland, in June/July 2011, co-located with TOOLS 2011 Federated Conferences.The 10 revised full papers and 2 short papers were carefully reviewed and selected from 32 initial submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on composition and interfaces, aspects and features, and applications.
فهرست مطالب
Front Matter....Pages -
Deriving Functional Interface Specifications for Composite Components....Pages 1-17
Comparing Machine Learning Approaches for Context-Aware Composition....Pages 18-33
An Implementation of Composable Memory Transactions in Haskell....Pages 34-50
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems....Pages 51-67
A Sequence of Patterns for Reusable Aspect Libraries with Easy Configuration....Pages 68-83
Pluggable Aspect Instantiation Models....Pages 84-99
Composing Event-B Specifications - Case-Study Experience....Pages 100-115
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems....Pages 116-132
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models....Pages 133-140
Assuring Architectural Properties during Compositional Architecture Design....Pages 141-148
Coherence and Performance for Interactive Scientific Visualization Applications....Pages 149-164
Toward Validated Composition in Component-Based Adaptive Middleware....Pages 165-180
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
