دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
دانلود کتاب مهندسی زبان نرم افزار: هفتمین کنفرانس بین المللی ، SLE 2014 ، وستروس ، سوئد ، 15 تا 16 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ویرایش: 1 نویسندگان: Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju (eds.) سری: Lecture Notes in Computer Science 8706 Programming and Software Engineering ISBN (شابک) : 9783319112442, 9783319112459 ناشر: Springer International Publishing سال نشر: 2014 تعداد صفحات: 365 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب مهندسی زبان نرم افزار: هفتمین کنفرانس بین المللی ، SLE 2014 ، وستروس ، سوئد ، 15 تا 16 سپتامبر 2014. مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، شبیه سازی و مدل سازی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی زبان نرم افزار: هفتمین کنفرانس بین المللی ، SLE 2014 ، وستروس ، سوئد ، 15 تا 16 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی زبان نرم افزار: هفتمین کنفرانس بین المللی ، SLE 2014 ، وستروس ، سوئد ، 15 تا 16 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی مهندسی زبان نرم افزار، SLE 2014، برگزار شده در وستراس، سوئد، در سپتامبر 2014 است. 19 مقاله کامل اصلاح شده ارائه شده به همراه 1 مقاله دعوت شده با دقت بررسی و از 61 مقاله انتخاب شدند. ارسال های اولیه این مقالات زبان‌های نرم‌افزاری را از دیدگاه‌های مختلف و در عین حال مکمل مشاهده می‌کنند: زبان‌های برنامه‌نویسی، مهندسی مدل محور، زبان‌های خاص دامنه، وب معنایی، و از فضاهای تکنولوژیکی مختلف: گرامرهای بدون زمینه، چارچوب‌های مدل‌سازی شی‌گرا، داده‌های غنی، داده‌های ساختاری، شی -برنامه نویسی گرا، برنامه نویسی تابعی، برنامه نویسی منطقی، بازنویسی اصطلاحات، گرامرهای ویژگی، مشخصات جبری و غیره.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.
فهرست مطالب
Front Matter....Pages -
ProMoBox: A Framework for Generating Domain-Specific Property Languages....Pages 1-20
A SAT-Based Debugging Tool for State Machines and Sequence Diagrams....Pages 21-40
Towards User-Friendly Projectional Editors....Pages 41-61
Bounded Seas....Pages 62-81
Eco: A Language Composition Editor....Pages 82-101
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers....Pages 102-121
Evaluating the Usability of a Visual Feature Modeling Notation....Pages 122-140
A Metamodel Family for Role-Based Modeling and Programming Languages....Pages 141-160
AIOCJ : A Choreographic Framework for Safe Adaptive Distributed Applications....Pages 161-170
fUML as an Assembly Language for Model Transformation....Pages 171-190
Respect Your Parents: How Attribution and Rewriting Can Get Along....Pages 191-210
Monto: A Disintegrated Development Environment....Pages 211-220
Model Checking of CTL-Extended OCL Specifications....Pages 221-240
Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation....Pages 241-260
Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle....Pages 261-281
Origin Tracking in Attribute Grammars....Pages 282-301
Dynamic Scope Discovery for Model Transformations....Pages 302-321
Streamlining Control Flow Graph Construction with DCFlow....Pages 322-341
Test-Data Generation for Xtext....Pages 342-351
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fundamentals of equations of state
دانلود کتاب Medicine Women, Curanderas, and Women Doctors
دانلود کتاب Neurotherapy: Progress in Restorative Neuroscience and Neurology
دانلود کتاب Mapping the Pitch : Football Formations Through The Ages
