ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

دانلود کتاب ترکیب نرم افزار: 11th International Conference، SC 2012، پراگ، جمهوری چک، 31 مه - 1 ژوئن 2012. مقالات

Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

مشخصات کتاب

Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

ویرایش: 1 
نویسندگان: , , , , , , ,   
سری: Lecture Notes in Computer Science 7306 Programming and Software Engineering 
ISBN (شابک) : 9783642305641, 3642305644 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 204 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

قیمت کتاب (تومان) : 56,000



کلمات کلیدی مربوط به کتاب ترکیب نرم افزار: 11th International Conference، SC 2012، پراگ، جمهوری چک، 31 مه - 1 ژوئن 2012. مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ترکیب نرم افزار: 11th International Conference، SC 2012، پراگ، جمهوری چک، 31 مه - 1 ژوئن 2012. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ترکیب نرم افزار: 11th International Conference، SC 2012، پراگ، جمهوری چک، 31 مه - 1 ژوئن 2012. مقالات



این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی ترکیب نرم‌افزار، SC 2012، برگزار شده در پراگ، جمهوری چک، در ماه می/ژوئن 2012، هم‌زمان با کنفرانس‌های فدرال TOOLS 2012 است. 12 مقاله کامل اصلاح شده با دقت بررسی و از بین 42 مقاله ارسالی برای گنجاندن در کتاب انتخاب شدند. مقالات منعکس کننده تمام تحقیقات فعلی در ترکیب نرم افزار هستند و در بخش های موضوعی در ترکیب نرم افزار به زبان های مشخصات سازماندهی شده اند. ترکیب آگاه از زمینه و پویا؛ ترکیب در توسعه نرم افزار؛ و برنامه های کاربردی ترکیب نرم افزار.


توضیحاتی درمورد کتاب به خارجی

The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with TOOLS 2012 Federated Conferences. The 12 revised full papers were carefully reviewed and selected from 42 submissions for inclusion in the book. The papers reflect all current research in software composition and are organized in topical sections on software composition in specification languages; context-aware and dynamic composition; composition in software development; and applications of software composition.



فهرست مطالب

Front Matter....Pages -
Modeling Dynamic Architectures Using Dy-BIP....Pages 1-16
Defining Composition Operators for BPMN....Pages 17-34
Relaxing B Sharing Restrictions within CSP||B....Pages 35-50
P a CE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications....Pages 51-67
Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming....Pages 68-85
Challenges for Refinement and Composition of Instrumentations: Position Paper....Pages 86-96
Constructing Customized Interpreters from Reusable Evaluators Using Game ....Pages 97-113
Revising and Extending the Uppaal Communication Mechanism....Pages 114-131
On the Automated Modularisation of Java Programs Using Service Locators....Pages 132-147
Touching Factor: Software Development on Tablets....Pages 148-161
Domain-Specific Languages in Few Steps....Pages 162-177
Business Process Lines and Decision Tables Driving Flexibility by Selection....Pages 178-193
Back Matter....Pages -




نظرات کاربران