دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
دانلود کتاب تحولات نمودار و مهندسی محور مدل: مقاله هایی که به مناسبت 65 سالگی به مانفرد ناگل تقدیم می شود
مشخصات کتاب
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (auth.), Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel (eds.) سری: Lecture Notes in Computer Science 5765 : Programming and Software Engineering ISBN (شابک) : 3642173217 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 783 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب تحولات نمودار و مهندسی محور مدل: مقاله هایی که به مناسبت 65 سالگی به مانفرد ناگل تقدیم می شود: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحولات نمودار و مهندسی محور مدل: مقاله هایی که به مناسبت 65 سالگی به مانفرد ناگل تقدیم می شود نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحولات نمودار و مهندسی محور مدل: مقاله هایی که به مناسبت 65 سالگی به مانفرد ناگل تقدیم می شود
این جلد festschrift که به افتخار مانفرد ناگل به مناسبت تولد 65 سالگی او منتشر شد، شامل 30 مقاله داوری است که توسط پنج تن از فرزندان دانشگاهی وی ویرایش شده است. انواع مقالات به طور قابل توجهی متفاوت است، از جمله مقالات تحقیقاتی کلاسیک در سبک مقالات مجلات، بررسی حوزه های تحقیقاتی متمرکز، مقالاتی که در مورد موضوعات تحقیقاتی خاص منعکس می شوند، و مقالاتی که خلاصه کارهای طولانی مدت انجام شده توسط مانفرد ناگل را نشان می دهند. این حجم در پنج بخش ساختار یافته است: تبدیل گراف، معماری نرم افزار و مهندسی مجدد، پشتیبانی فرآیند، مهندسی سیستم های جاسازی شده و همچنین برنامه های کاربردی طراحی مهندسی.
توضیحاتی درمورد کتاب به خارجی
This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, edited by five of his academic descendants. The types of papers vary significantly, including classic research papers in the style of journal articles, surveys of focused research areas, essays reflecting on certain research topics, and papers summarizing long-term work conducted by Manfred Nagl. The volume is structured in five parts: graph transformations, software architectures and reengineering, process support, embedded systems engineering as well as engineering design applications.
فهرست مطالب
Front Matter....Pages -
Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl....Pages 1-5
The Edge of Graph Transformation — Graphs for Behavioural Specification....Pages 6-32
Graph Transformation by Computational Category Theory....Pages 33-58
On GS-Monoidal Theories for Graphs with Nesting....Pages 59-86
Stochastic Modelling and Simulation of Mobile Systems....Pages 87-101
Autonomous Units and Their Semantics – The Concurrent Case....Pages 102-120
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation....Pages 121-140
Extended Triple Graph Grammars with Efficient and Compatible Graph Translators....Pages 141-174
Controlling Reuse in Pattern-Based Model-to-Model Transformations....Pages 175-201
Lessons Learned from Building a Graph Transformation System....Pages 202-223
Workflow-Driven Tool Integration Using Model Transformations....Pages 224-248
The Architecture Description Language MoDeL....Pages 249-273
Towards Managing Software Architectures with Ontologies....Pages 274-308
Using Role-Play Diagrams to Improve Scenario Role-Play....Pages 309-334
Reverse Engineering Using Graph Queries....Pages 335-362
Graph-Based Structural Analysis for Telecommunication Systems....Pages 363-392
Do We Really Know How to Support Processes? Considerations and Reconstruction....Pages 393-410
A Meta-Method for Defining Software Engineering Methods....Pages 411-440
Techniques for Merging Views of Software Processes....Pages 441-472
Model Checking Programmable Router Configurations....Pages 473-491
Architectural Issues of Adaptive Pervasive Systems....Pages 492-511
Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report....Pages 512-532
Model-Driven Development with Mechatronic UML....Pages 533-554
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent....Pages 555-579
Multi-view Modeling to Support Embedded Systems Engineering in SysML....Pages 580-601
Requirements Engineering in Complex Domains....Pages 602-620
Tool Support for Dynamic Development Processes....Pages 621-654
An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries....Pages 655-682
Integration Tools for Consistency Management between Design Documents in Development Processes....Pages 683-718
Towards Semantic Navigation in Mobile Robotics....Pages 719-748
Model Driven Engineering in Operative Industrial Process Control Environments....Pages 749-765
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Intelligent and Active Packaging for Fruits and Vegetables
دانلود کتاب Coastal Geotechnical Engineering in Practice : Vol. 2 : Proceedings of the International Symposium, IS-Yokohama 2000, Yokohama, Japan, 20-22 September 2000 E-BOOK
دانلود کتاب Ju 87 Stuka in action
دانلود کتاب Extraction Optimization in Food Engineering (Food Science and Technology)
دانلود کتاب Tropical Residual Soils Engineering
دانلود کتاب Management of Chronic Viral Hepatitis (Manufacturing Engineering and Materials Processing)
دانلود کتاب Fundamentals of Database Systems
دانلود کتاب Occupational Ergonomics: Design and Management of Work Systems (Principles and Applications in Engineering, 15)
دانلود کتاب Plumbing Principles and Practice
