دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
دانلود کتاب ترکیب نرم افزار: دوازدهمین کنفرانس بین المللی ، SC 2013 ، بوداپست ، مجارستان ، 19 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ویرایش: 1 نویسندگان: Seyed H. (Hossein) Haeri, Sibylle Schupp (auth.), Walter Binder, Eric Bodden, Welf Löwe (eds.) سری: Lecture Notes in Computer Science 8088 : Programming and Software Engineering ISBN (شابک) : 9783642396137, 9783642396144 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 152 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ترکیب نرم افزار: دوازدهمین کنفرانس بین المللی ، SC 2013 ، بوداپست ، مجارستان ، 19 ژوئن 2013. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ترکیب نرم افزار: دوازدهمین کنفرانس بین المللی ، SC 2013 ، بوداپست ، مجارستان ، 19 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ترکیب نرم افزار: دوازدهمین کنفرانس بین المللی ، SC 2013 ، بوداپست ، مجارستان ، 19 ژوئن 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی ترکیب نرم‌افزار، SC 2013، در بوداپست، مجارستان، در ژوئن 2013، با هم‌زمان کنفرانس‌های فدرال STAF 2013 است. 9 مقاله کامل اصلاح شده با دقت بررسی و از بین 21 مقاله ارسالی برای گنجاندن در کتاب انتخاب شدند. مقالات منعکس کننده تمام تحقیقات فعلی در ترکیب نرم افزار، از جمله، اما نه محدود به مهندسی نرم افزار مبتنی بر جزء است. تکنیک های ترکیب و انطباق؛ جبرهای ترکیبی، محاسبات، و سیستم های نوع. توسعه نرم افزار ویژگی گرا؛ تأیید، اعتبارسنجی و آزمایش؛ ترکیب پویا و پیکربندی مجدد.
توضیحاتی درمورد کتاب به خارجی
The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated Conferences. The 9 revised full papers were carefully reviewed and selected from 21 submissions for inclusion in the book. The papers reflect all current research in software composition, including but not limited to component-based software engineering; composition and adaption techniques; composition algebras, calculi, and type systems; feature-oriented software development; verification, validation, and testing; dynamic composition and reconfiguration.
فهرست مطالب
Front Matter....Pages I-X
Reusable Components for Lightweight Mechanisation of Programming Languages....Pages 1-16
Neverlang 2 – Componentised Language Development for the JVM....Pages 17-32
Preserving Confidentiality in Component Compositions....Pages 33-48
Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches....Pages 49-64
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification....Pages 65-80
Implementing Feature Interactions with Generic Feature Modules....Pages 81-96
Compositional Development of BPMN....Pages 97-112
Building a Customizable Business-Process-as-a-Service Application with Current State-of-Practice....Pages 113-127
Verifying Data Independent Programs Using Game Semantics....Pages 128-143
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Soziale Determinanten des Drogengebrauchs: Eine sozialwissenschaftliche Analyse des Gebrauchs weicher Drogen in der Bundesrepublik Deutschland
دانلود کتاب Developing Country Debt and the World Economy (National Bureau of Economic Research Project Report)
دانلود کتاب Microsoft® Excel 2010: A Case Approach, Complete
