دانلود کتاب Automatic Methods for the Refinement of System Models: From the Specification to the Implementation – روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا

توضیحات

This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two directions for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.

————————————————————–

ترجمه ماشینی :

این کتاب یک نمای کلی جامع از اصلاح خودکار مدل ارائه می‌دهد که به خوانندگان کمک می‌کند شکاف بین مشخصات متنی اولیه و اجرای مطلوب آن را ببندند. نویسندگان خوانندگان را قادر می سازند تا دو جهت را برای اصلاح دنبال کنند: پالایش عمودی، برای افزودن جزئیات و دقت به توصیف واحد برای یک مدل معین و پالایش افقی، که چندین دیدگاه را در یک سطح از انتزاع در نظر می گیرد، اصلاح مشخصات سیستم با توضیحات اختصاصی برای ساختار یا رفتار – اخلاق. این بحث شامل روش‌هایی است که از طراحان سیستم‌های الکترونیکی در این فرآیند پالایش پشتیبانی می‌کنند، از جمله روش‌های راستی‌آزمایی برای بررسی خودکار اینکه آیا اصلاح به‌صورت مورد نظر انجام شده است یا خیر.

tag : دانلود کتاب روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا , Download روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا , دانلود روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا , Download Automatic Methods for the Refinement of System Models: From the Specification to the Implementation Book , روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا دانلود , buy روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا , خرید کتاب روش‌های خودکار برای اصلاح مدل‌های سیستم: از مشخصات تا اجرا , دانلود کتاب Automatic Methods for the Refinement of System Models: From the Specification to the Implementation , کتاب Automatic Methods for the Refinement of System Models: From the Specification to the Implementation , دانلود Automatic Methods for the Refinement of System Models: From the Specification to the Implementation , خرید Automatic Methods for the Refinement of System Models: From the Specification to the Implementation , خرید کتاب Automatic Methods for the Refinement of System Models: From the Specification to the Implementation ,