دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Gábor Bergmann, Ábel Hegedüs, Ákos Horváth (auth.), Carlo A. Furia, Sebastian Nanz (eds.) سری: Lecture Notes in Computer Science 7304 ISBN (شابک) : 9783642305603, 364230561X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 380 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب اشیا، ، مدلها ، اجزا ، الگوها: پنجاهمین کنفرانس بین المللی ، TOOLS 2012 ، پراگ ، جمهوری چک ، 29 تا 31 مه 2012. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اشیا، ، مدلها ، اجزا ، الگوها: پنجاهمین کنفرانس بین المللی ، TOOLS 2012 ، پراگ ، جمهوری چک ، 29 تا 31 مه 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری پنجاهمین کنفرانس بینالمللی اشیاء، مدلها، مؤلفهها، الگوها، ابزارها اروپا 2012 است که در پراگ، جمهوری چک، طی 29 تا 31 می 2012 برگزار شد. 24 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از بین 77 مقاله ارسالی انتخاب شدند. این مقالات تمام جنبههای فناوری شی و زمینههای مرتبط را مورد بحث قرار میدهند و کاربردهای عملی را نشان میدهند که با تجزیه و تحلیل رسمی و ارزیابی تجربی کامل پشتیبانی میشوند. به طور خاص، هر موضوعی در فناوری نرم افزار پیشرفته به محدوده ابزارها می پردازد.
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS.
Front Matter....Pages -
Integrating Efficient Model Queries in State-of-the-Art EMF Tools....Pages 1-8
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies....Pages 9-16
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity....Pages 17-33
TimeSquare: Treat Your Models with Logical Time....Pages 34-41
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs....Pages 42-57
101companies : A Community Project on Software Technologies and Software Languages....Pages 58-74
An Object-Oriented Application Framework for the Development of Real-Time Systems....Pages 75-90
Measuring Test Case Similarity to Support Test Suite Understanding....Pages 91-107
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties....Pages 108-123
Efficient Method Lookup Customization for Smalltalk....Pages 124-139
Fake Run-Time Selection of Template Arguments in C++....Pages 140-154
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs....Pages 155-170
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines....Pages 171-186
Verification of Snapshotable Trees Using Access Permissions and Typestate....Pages 187-201
Multiparty Session C: Safe Parallel Programming with Message Optimisation....Pages 202-218
Non-interference on UML State-Charts....Pages 219-235
Representing Uniqueness Constraints in Object-Relational Mapping....Pages 236-251
Detection of Seed Methods for Quantification of Feature Confinement....Pages 252-268
Assisted Behavior Driven Development Using Natural Language Processing....Pages 269-287
Learning to Classify Bug Reports into Components....Pages 288-303
Incremental Dynamic Updates with First-Class Contexts....Pages 304-319
Elucidative Development for Model-Based Documentation....Pages 320-335
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations....Pages 336-352
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation....Pages 353-368
Back Matter....Pages -