دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Transactions on Foundations for Mastering Change I
دانلود کتاب معاملات بر روی مبانی برای تسلط بر تغییر I
مشخصات کتاب
Transactions on Foundations for Mastering Change I
ویرایش: 1
نویسندگان: Bernhard Steffen (eds.)
سری: Lecture Notes in Computer Science 9960
ISBN (شابک) : 9783319465081, 9783319465074
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 268
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 61,000
کلمات کلیدی مربوط به کتاب معاملات بر روی مبانی برای تسلط بر تغییر I: مهندسی نرم افزار، منطق و معانی برنامه ها، مدیریت سیستم های محاسباتی و اطلاعاتی، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبیه سازی و مدل سازی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Transactions on Foundations for Mastering Change I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات بر روی مبانی برای تسلط بر تغییر I نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-XII
Introduction to the First Issue of FoMaC....Pages 1-6
Knowledge Management for Inclusive System Evolution....Pages 7-21
Archimedean Points: The Essence for Mastering Change....Pages 22-46
Model Patterns....Pages 47-70
Verified Change....Pages 71-89
Good Change and Bad Change: An Analysis Perspective on Software Evolution....Pages 90-112
Compositional Model-Based System Design and Other Foundations for Mastering Change....Pages 113-129
Proof Repositories for Compositional Verification of Evolving Software Systems....Pages 130-156
Statistical Model Checking with Change Detection....Pages 157-179
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations....Pages 180-200
Continuous Collaboration for Changing Environments....Pages 201-224
Issues on Software Quality Models for Mastering Change....Pages 225-241
Traceability Types for Mastering Change in Collaborative Software Quality Management....Pages 242-256
Back Matter....Pages 257-257
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Where is science going
