مهندسی مبتنی بر مدل برای سامانه‌های توزیع‌شده‌ی بی‌درنگِ توکار 2009 ۲۰۱۳
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 2013

دانلود کتاب مهندسی مبتنی بر مدل برای سامانه‌های توزیع‌شده‌ی بی‌درنگِ توکار 2009 ۲۰۱۳ (Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 2013) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

Jean-Philippe Babau, Mireille Blay-Fornarino, Jöel Champeau, Sylvain Robert, Antonino Sabetta

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2013

زبان

English

تعداد صفحه‌ها

320

نوع فایل

pdf

حجم

8.7 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب مهندسی مبتنی بر مدل برای سامانه‌های توزیع‌شده‌ی بی‌درنگِ توکار 2009 ۲۰۱۳

***مهندسی مدل‌محور برای سیستم‌های توزیع‌شده‌ی بلادرنگِ نهفته ۲۰۰۹: پیشرفت‌ها، استانداردها، کاربردها و چشم‌اندازها***

روش‌های توسعه‌ی مبتنی بر مدل و فناوری‌های پشتیبان، می‌توانند تکنیک‌ها و ابزارهای مورد نیاز برای حل دوراهی کاهش هزینه‌ها و زمان توسعه‌ی سیستم و توسعه‌ی سیستم‌های پیچیده‌تر را فراهم کنند. این کتاب، اطلاعات لازم برای درک و به کارگیری رویکردهای مهندسی مدل‌محور (MDE) و معماری مدل‌محور (MDA) در توسعه‌ی سیستم‌های نهفته را ارائه می‌دهد. فصل‌های این کتاب، که توسط متخصصان دانشگاهی و صنعتی نوشته شده‌اند، موضوعاتی مرتبط با شیوه‌ها و روش‌های MDE، و همچنین فناوری‌های نوظهور MDE را پوشش می‌دهند. بخش عمده‌ای از این نوشته‌ها، بر اساس ارائه‌هایی است که در مدرسه‌ی تابستانی “MDE برای سیستم‌های نهفته” در برست، فرانسه، در سپتامبر ۲۰۰۴ ارائه شده است.


فهرست کتاب:

۱. روی جلد

۲. صفحه عنوان

۳. حق چاپ

۴. خلاصه فصل

۵. فصل ۱: تبدیل مدل: بررسی وضعیت هنر

۶. فصل ۲: تولید کد مبتنی بر مدل

۷. فصل ۳: آزمایش تبدیل مدل: استدلالی برای تولید آزمون از مدل‌های دامنه ورودی

۸. فصل ۴: تکنیک‌های مبتنی بر اجرای نمادین برای آزمون انطباق

۹. فصل ۵: استفاده از MARTE و SysML برای مدل‌سازی سیستم‌های نهفته بلادرنگ

۱۰. فصل ۶: تحلیل عملکرد مبتنی بر مدل نرم‌افزار

۱۱. فصل ۷: یکپارچه‌سازی مدل برای احراز صلاحیت رسمی اجزای کسب داده نرم‌افزاری آگاه از زمان‌بندی

۱۲. فصل ۸: توسعه SoC/SoPC با استفاده از MDD و پروفایل MARTE

۱۳. لیست نویسندگان

۱۴. فهرست نمایه

توضیحات(انگلیسی)

Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School “MDE for Embedded Systems” held at Brest, France, in September 2004.


Table of Contents

1. Cover

2. Title Page

3. Copyright

4. Chapter Summary

5. Chapter 1: Model Transformation: A Survey of the State of the Art

6. Chapter 2: Model-Based Code Generation

7. Chapter 3: Testing Model Transformations: A Case for Test Generation from Input Domain Models

8. Chapter 4: Symbolic Execution-Based Techniques for Conformance Testing

9. Chapter 5: Using MARTE and SysML for Modeling Real-Time Embedded Systems

10. Chapter 6: Software Model-Based Performance Analysis

11. Chapter 7: Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components

12. Chapter 8: SoC/SoPC Development using MDD and MARTE Profile

13. List of Authors

14. Index

دیگران دریافت کرده‌اند

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.