دانلود کتاب Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
کتاب تبدیل نمودار: دهمین کنفرانس بین المللی، ICGT 2017، برگزار شده به عنوان بخشی از STAF 2017، ماربورگ، آلمان، 18-19 ژوئیه، 2017، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تبدیل نمودار: دهمین کنفرانس بین المللی، ICGT 2017، برگزار شده به عنوان بخشی از STAF 2017، ماربورگ، آلمان، 18-19 ژوئیه، 2017، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
نام کتاب : Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : تبدیل نمودار: دهمین کنفرانس بین المللی، ICGT 2017، برگزار شده به عنوان بخشی از STAF 2017، ماربورگ، آلمان، 18-19 ژوئیه، 2017، مجموعه مقالات
سری : Lecture Notes in Computer Science 10373
نویسندگان : Juan de Lara, Detlef Plump (eds.)
ناشر : Springer International Publishing
سال نشر : 2017
تعداد صفحات : 239
ISBN (شابک) : 9783319614700 , 9783319614694
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 19 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی تبدیل نمودار، ICGT 2017 است که به عنوان بخشی از STAF 2017، در ماربورگ، آلمان، در ژوئیه 2017 برگزار شد.
14 مقاله ارائه‌شده با دقت بررسی و انتخاب شدند. 23 ارسال. این مقالات طیف گسترده ای از موضوعات از جمله رویکردهای نظری برای تبدیل گراف و تأیید آنها، مهندسی مدل محور، واکنش های شیمیایی و همچنین کاربردهای مختلف را پوشش می دهند. آنها در بخش های موضوعی زیر سازماندهی شده اند: پایه ها. زبان نمودار و تجزیه; تجزیه و تحلیل و تأیید؛ و تبدیل مدل و ابزارها.
فهرست مطالب :
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
The Pullback-Pushout Approach to Algebraic Graph Transformation....Pages 3-19
Hierarchical Graph Transformation Revisited....Pages 20-35
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions....Pages 36-53
Chemical Graph Transformation with Stereo-Information....Pages 54-69
Front Matter....Pages 71-71
Specifying Graph Languages with Type Graphs....Pages 73-89
Fusion Grammars: A Novel Approach to the Generation of Graph Languages....Pages 90-105
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars....Pages 106-122
Front Matter....Pages 123-123
Granularity of Conflicts and Dependencies in Graph Transformation Systems....Pages 125-141
k-Inductive Invariant Checking for Graph Transformation Systems....Pages 142-158
Probabilistic Timed Graph Transformation Systems....Pages 159-175
Front Matter....Pages 177-177
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation....Pages 179-195
Henshin: A Usability-Focused Framework for EMF Model Transformation Development....Pages 196-208
GRAPE – A Graph Rewriting and Persistence Engine....Pages 209-220
Table Graphs....Pages 221-230
Back Matter....Pages 231-231
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
پست ها تصادفی