توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب سطح جدیدی از انتزاع را معرفی می کند که شکاف بین مشخصات متنی سیستم های تعبیه شده و مدل قابل اجرا در سطح سیستم الکترونیکی (ESL) را می بندد. خوانندگان فعال می شوند تا در این سطح مشخصات جدید و رسمی (FSL) کار کنند ، با استفاده از مدل هایی که نه تنها در این مرحله از جریان طراحی ، کارهای تأیید قابل توجهی را انجام می دهند ، بلکه می توانند به صورت نیمه اتوماتیک از مشخصات متنی در تعاملی استخراج شوند. شیوه. نویسندگان نحوه استفاده از این وظایف تأیید را برای بررسی خصوصیات مفهومی توضیح می دهند ، به عنوان مثال این که آیا الزامات در تضاد و همچنین رفتار پویا از نظر اثرات اعدام هستند.
tag : دانلود کتاب سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها , Download سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها , دانلود سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها , Download Formal Specification Level: Concepts, Methods, and Algorithms Book , سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها دانلود , buy سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها , خرید کتاب سطح مشخصات رسمی: مفاهیم ، روشها و الگوریتم ها , دانلود کتاب Formal Specification Level: Concepts, Methods, and Algorithms , کتاب Formal Specification Level: Concepts, Methods, and Algorithms , دانلود Formal Specification Level: Concepts, Methods, and Algorithms , خرید Formal Specification Level: Concepts, Methods, and Algorithms , خرید کتاب Formal Specification Level: Concepts, Methods, and Algorithms ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.