خرید و دانلود نسخه کامل کتاب Formal Methods for Embedded Distributed Systems : How to master the complexity

توضیحاتی در مورد کتاب

توسعه هر سیستم فشرده نرم افزاری (صنعتی)، به عنوان مثال. نرم افزار جاسازی شده حیاتی، هم به نمادهای مختلف و هم به یک فرآیند توسعه قوی نیاز دارد. نمادهای مختلف اجباری هستند زیرا جنبه های مختلف سیستم نرم افزاری باید مورد بررسی قرار گیرد. یک فرآیند توسعه قوی نیز اجباری است زیرا بدون یک سازمان قوی نمی توانیم تضمین کنیم که سیستم الزامات آن را برآورده می کند. متاسفانه، خیلی بیشتر مورد نیاز است! روش‌های رسمی برای سیستم‌های توزیع‌شده تعبیه‌شده به ارائه برخی تکنیک‌ها برای استفاده در زمینه سیستم‌های توزیع‌شده و/یا تعبیه‌شده اختصاص دارد. از آنجایی که تکنیک‌های رسمی به مدل‌ها، یعنی توصیف‌های متفاوتی از سیستمی که باید طراحی شود، متکی هستند، تکنیک‌های ارائه‌شده در بخش اول توسعه نرم‌افزار قرار دارند. روش‌های رسمی برای سیستم‌های توزیع‌شده تعبیه‌شده، ارتباطات زیادی را بین «رویکردهای توسعه سنتی» و آخرین پیشرفت‌ها در تکنیک‌های رسمی ایجاد می‌کند که به عنوان بهترین راه‌حل برای افزایش قابل‌توجه قابلیت اطمینان چنین سیستم‌هایی شناخته می‌شوند. مخاطبان هدف عمدتاً متشکل از متخصصان (مهندسین، محققین و معلمان) و دانشجویان (فارغ التحصیل و فارغ التحصیل) هستند که می خواهند درک روشنی از نحوه مدیریت پیچیدگی ذاتی سیستم های بحرانی و/یا توزیع شده داشته باشند.