دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Oscar Nierstrasz (auth.), Judith Bishop, Antonio Vallecillo (eds.) سری: Lecture Notes in Computer Science 6705 Programming and Software Engineering ISBN (شابک) : 9783642219511, 9783642219528 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 315 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب اشیا، ، مدل ها ، اجزا ، الگوها: چهل و نهمین کنفرانس بین المللی ، TOOLS 2011 ، زوریخ ، سوئیس ، 28 تا 30 ژوئن 2011. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Objects, Models, Components, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اشیا، ، مدل ها ، اجزا ، الگوها: چهل و نهمین کنفرانس بین المللی ، TOOLS 2011 ، زوریخ ، سوئیس ، 28 تا 30 ژوئن 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهل و نهمین کنفرانس بینالمللی اشیاء، مدلها، مؤلفهها، الگوها است که در زوریخ، سوئیس، در ژوئن 2011 برگزار شد. و از مجموع 68 ارسال انتخاب شد. این مقالات تمام جنبههای فناوری شی و زمینههای مرتبط، به ویژه توسعه مبتنی بر مدل، توسعه مبتنی بر مؤلفه، پیادهسازی زبان و الگوها را به روشی جامع مورد بحث قرار میدهند. کنفرانس دارای یک سوگیری عملی قوی است، بدون اینکه از اهمیت صحت و عملکرد غافل شود.
This book constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. The 19 revised full papers presented together with the abstracts of 2 invited papers were carefully reviewed and selected from a total of 68 submissions. The papers discuss all aspects of object technology and related fields, in particular model-based development, component-based development, language implementation and patterns, in a holistic way. The conference has a strong practical bias, without losing sight of the importance of correctness and performance.
Front Matter....Pages -
Synchronizing Models and Code (Invited Talk)....Pages 1-1
Finding and Fixing Bugs in Web Applications (Invited Talk)....Pages 2-2
Test Suite Quality for Model Transformation Chains....Pages 3-19
Automated Translation of Java Source Code to Eiffel....Pages 20-35
A Generic Solution for Syntax-Driven Model Co-evolution....Pages 36-51
From UML Profiles to EMF Profiles and Beyond....Pages 52-67
Domain-Specific Profiling....Pages 68-82
Metamodel Dependencies for Executable Models....Pages 83-98
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems....Pages 99-114
Unifying Subjectivity....Pages 115-130
An Overview of ALIA4J....Pages 131-146
A Heuristic Approach for Computing Effects....Pages 147-162
Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming....Pages 163-178
Lifted Java: A Minimal Calculus for Translation Polymorphism....Pages 179-193
Location Types for Safe Distributed Object-Oriented Programming....Pages 194-210
Static Dominance Inference....Pages 211-227
A Case of Visitor versus Interpreter Pattern....Pages 228-243
Computational REST Meets Erlang....Pages 244-259
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems....Pages 260-275
Seuss: Better Class Responsibilities through Language-Based Dependency Injection....Pages 276-289
Extensive Validation of OCL Models by Integrating SAT Solving into USE....Pages 290-306
Back Matter....Pages -