دانلود کتاب Formal Specification Level: Concepts, Methods, and Algorithms
کتاب سطح مشخصات رسمی: مفاهیم، روش ها و الگوریتم ها نسخه زبان اصلی
دانلود کتاب سطح مشخصات رسمی: مفاهیم، روش ها و الگوریتم ها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Specification Level: Concepts, Methods, and Algorithms
نام کتاب : Formal Specification Level: Concepts, Methods, and Algorithms
ویرایش : 1
عنوان ترجمه شده به فارسی : سطح مشخصات رسمی: مفاهیم، روش ها و الگوریتم ها
سری :
نویسندگان : Mathias Soeken, Rolf Drechsler (auth.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 143
ISBN (شابک) : 9783319086989 , 9783319086996
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب سطح جدیدی از انتزاع را معرفی می کند که شکاف بین مشخصات متنی سیستم های تعبیه شده و مدل اجرایی در سطح سیستم الکترونیکی (ESL) را می بندد. خوانندگان قادر خواهند بود در این سطح جدید مشخصات رسمی (FSL) با استفاده از مدل‌هایی کار کنند که نه تنها در این مرحله اولیه از جریان طراحی، وظایف تأیید قابل توجهی را امکان پذیر می‌کنند، بلکه می‌توانند به صورت نیمه خودکار از مشخصات متنی در یک تعاملی استخراج شوند. شیوه. نویسندگان توضیح می دهند که چگونه می توان از این وظایف تأیید برای بررسی ویژگی های مفهومی استفاده کرد، به عنوان مثال. اینکه آیا الزامات در تضاد هستند، و همچنین رفتار پویا، از نظر ردیابی های اجرا.
فهرست مطالب :
Front Matter....Pages i-viii
Introduction....Pages 1-5
Background....Pages 7-21
NLP-Assisted Model Generation....Pages 23-55
Verification of Static Aspects....Pages 57-108
Verification of Dynamic Aspects....Pages 109-129
Conclusions....Pages 131-132
Back Matter....Pages 133-138
توضیحاتی در مورد کتاب به زبان اصلی :
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.