دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
دانلود کتاب تبدیل نمودار: 6th Conference International، ICGT 2012، Bremen، Germany، 24-29 سپتامبر 2012. پرونده
مشخصات کتاب
Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ویرایش: 1 نویسندگان: Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 7562 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642336539, 9783642336546 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 436 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب تبدیل نمودار: 6th Conference International، ICGT 2012، Bremen، Germany، 24-29 سپتامبر 2012. پرونده: ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار، ساختارهای داده، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تبدیل نمودار: 6th Conference International، ICGT 2012، Bremen، Germany، 24-29 سپتامبر 2012. پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تبدیل نمودار: 6th Conference International، ICGT 2012، Bremen، Germany، 24-29 سپتامبر 2012. پرونده
این کتاب مجموعه مقالات ششمین کنفرانس بین‌المللی تغییر شکل‌های نمودار، ICGT 2012، برگزار شده در برمن، آلمان، در سپتامبر 2012 است. 30 مقاله و 3 مقاله دعوت شده ارائه‌شده به دقت بررسی و از بین ارسال‌های متعدد انتخاب شدند. مقالات در بخش‌های موضوعی در مورد تجزیه و تحلیل رفتاری، تبدیل نمودار سطح بالا، رویکردهای بازبینی شده، مدل‌های تبدیل کلی، ساختاردهی و راستی‌آزمایی، تبدیل‌های نمودار در حال استفاده، تکامل مدل (فرا) و رویکردهای افزایشی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
فهرست مطالب
Front Matter....Pages -
A Graph-Based Design Framework for Services....Pages 1-19
Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems....Pages 20-37
Completeness-Driven Development....Pages 38-50
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models....Pages 51-65
Pattern-Based Graph Abstraction....Pages 66-80
Well-Structured Graph Transformation Systems with Negative Application Conditions....Pages 81-95
Parallelism and Concurrency of Stochastic Graph Transformations....Pages 96-110
Refined Graph Rewriting in Span-Categories....Pages 111-125
Borrowed Contexts for Attributed Graphs....Pages 126-140
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars....Pages 141-155
Graph Transformation with Focus on Incident Edges....Pages 156-171
Rational Term Rewriting Revisited: Decidability and Confluence....Pages 172-186
A General Attribution Concept for Models in ${\\cal M}$ -Adhesive Transformation Systems....Pages 187-202
DPO Transformation with Open Maps....Pages 203-217
$\\mathcal M, \\mathcal N$ -Adhesive Transformation Systems....Pages 218-233
Generalised Compositionality in Graph Transformation....Pages 234-248
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking....Pages 249-263
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking....Pages 264-278
Testing against Visual Contracts: Model-Based Coverage....Pages 279-293
A Truly Concurrent Semantics for the $\\mathbb{K}$ Framework Based on Graph Transformations....Pages 294-310
Probabilistic Graph Transformation Systems....Pages 311-325
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution....Pages 326-340
Graph Transformations for Evolving Domain Knowledge....Pages 341-355
Construction of Integrity Preserving Triple Graph Grammars....Pages 356-370
Applying Incremental Graph Transformation to Existing Models in Relational Databases....Pages 371-385
Incremental Pattern Matching for the Efficient Computation of Transitive Closure....Pages 386-400
Efficient Model Synchronization with Precedence Triple Graph Grammars....Pages 401-415
ICGT 2012 Doctoral Symposium....Pages 416-416
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL....Pages 417-419
Verification of Graph Programs....Pages 420-422
Specification and Verification of Modal Properties for Structured Systems....Pages 423-425
Back Matter....Pages -
