دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
دانلود کتاب کاربردهای تبدیل نمودار با ارتباط صنعتی: چهارمین سمپوزیوم بین المللی، AGTIVE 2011، بوداپست، مجارستان، 4 تا 7 اکتبر 2011، مقالات منتخب و دعوت شده اصلاح شده
مشخصات کتاب
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ویرایش: 1 نویسندگان: Zsolt Kocsis (auth.), Andy Schürr, Dániel Varró, Gergely Varró (eds.) سری: Lecture Notes in Computer Science 7233 ISBN (شابک) : 9783642341755, 9783642341762 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 264 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 66,000
کلمات کلیدی مربوط به کتاب کاربردهای تبدیل نمودار با ارتباط صنعتی: چهارمین سمپوزیوم بین المللی، AGTIVE 2011، بوداپست، مجارستان، 4 تا 7 اکتبر 2011، مقالات منتخب و دعوت شده اصلاح شده: ریاضیات گسسته در علوم کامپیوتر، ساختارهای داده، مهندسی نرم افزار، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربردهای تبدیل نمودار با ارتباط صنعتی: چهارمین سمپوزیوم بین المللی، AGTIVE 2011، بوداپست، مجارستان، 4 تا 7 اکتبر 2011، مقالات منتخب و دعوت شده اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربردهای تبدیل نمودار با ارتباط صنعتی: چهارمین سمپوزیوم بین المللی، AGTIVE 2011، بوداپست، مجارستان، 4 تا 7 اکتبر 2011، مقالات منتخب و دعوت شده اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل چهارمین
سمپوزیوم بین المللی کاربردهای تبدیل گراف، AGTIVE 2011، برگزار
شده در بوداپست، مجارستان، در اکتبر 2011 است.
13 مقاله کامل اصلاح شده با هم ارائه شده اند. با 2 گفتگو دعوت
شده، 2 گزارش برنامه کاربردی و 3 مقاله نمایش ابزار به دقت از
36 ارسالی طی دو دور بررسی و بهبود انتخاب شدند. مقالات در
بخشهای موضوعی در مورد چکیدههای گفتگوی دعوتشده، مهندسی مدل
محور، برنامههای تبدیل نمودار، نمایش ابزار، تکنیکهای کاوش
تبدیل نمودار، معناشناسی و استدلال تبدیل گراف، گزارشهای
کاربردی و تبدیلهای دوطرفه سازماندهی شدهاند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference
proceedings of the 4th International Symposium on
Applications of Graph Transformations, AGTIVE 2011, held in
Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited
talks, 2 application reports and 3 tool demonstration papers
were carefully selected from 36 submissions during two rounds
of reviewing and improvement. The papers are organized in
topical sections on invited talk abstracts, model-driven
engineering, graph transformation applications, tool
demonstrations, graph transformation exploration techniques,
graph transformation semantics and reasoning, application
reports and bidirectional transformations.
فهرست مطالب
Front Matter....Pages -
Best Practices to Model Business Services in Complex IT Environments....Pages 1-1
Drools: A Rule Engine for Complex Event Processing....Pages 2-2
Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration....Pages 3-18
A Graph Transformation-Based Semantics for Deep Metamodelling....Pages 19-34
Reusable Graph Transformation Templates....Pages 35-50
Towards an Automated 3D Reconstruction of Plant Architecture....Pages 51-64
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors....Pages 65-80
AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations....Pages 81-88
Integration of a Pattern-Based Layout Engine into Diagram Editors....Pages 89-96
Tool Demonstration of the Transformation Judge....Pages 97-104
Knowledge-Based Graph Exploration Analysis....Pages 105-120
Graph Grammar Induction as a Parser-Controlled Heuristic Search Process....Pages 121-136
Planning Self-adaption with Graph Transformations....Pages 137-152
From Graph Transformation Units via MiniSat to GrGen.NET....Pages 153-168
Locality in Reasoning about Graph Transformations....Pages 169-181
Contextual Hyperedge Replacement....Pages 182-197
The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management....Pages 198-209
A Case Study Based Comparison of ATL and SDM....Pages 210-221
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata....Pages 222-237
Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations....Pages 238-253
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Paediatric imaging manual : with 18 tables
دانلود کتاب The Bible in the Modern World
دانلود کتاب Drama Queen: One Autistic Woman and a Life of Unhelpful Labels
دانلود کتاب Online-Kommunikation im Recruiting für KMU: Reifegrade von Employer Branding & Candidate Experience
