توضیحات
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.
————————————————————–
ترجمه ماشینی :
دهه گذشته شاهد افزایش اندک اما پایدار در تحقیق و به کارگیری روش های رسمی بوده است. تعدادی از داستانهای موفقیتآمیز که به خوبی ذکر شدهاند اکنون در دسترس هستند و شواهد قوی ارائه میدهند که روشهای رسمی میتوانند در کاربردهای مقیاس صنعتی مؤثر و به کار گرفته شوند.
از طریق مشارکتهای اساسی محققان برجسته، این کتاب شواهد بیشتری در مورد استفاده ارائه میکند. روشهای رسمی در زمینههای الزامات، طراحی، مدلسازی و پیادهسازی، تأیید و اعتبارسنجی. فصلهای مستقل، دیدگاههایی از کارشناسان این حوزهها هستند که اطلاعات پیشزمینهای غنی و گستره متنوعی از مطالب تخصصی را در اختیار خوانندگان قرار میدهند.
این مجموعه معتبر از دیدگاهها تصویری فوری از این حوزه ارائه میکند و مورد توجه قابل توجهی خواهد بود. به محققان و متخصصانی که به دنبال دیدگاهی در زمینه زیربنای اساسی روشهای رسمی و موضوعات داغ فعلی در این زمینه هستند.
وبسایت www.fmsand.info منبع مفیدی است که مطالب مرتبط با کتاب و پیوندهایی را برای اطلاعات بیشتر فراهم میکند. اطلاعات مرتبط.
tag : دانلود کتاب روش های رسمی: وضعیت هنر و جهت گیری های جدید , Download روش های رسمی: وضعیت هنر و جهت گیری های جدید , دانلود روش های رسمی: وضعیت هنر و جهت گیری های جدید , Download Formal Methods: State of the Art and New Directions Book , روش های رسمی: وضعیت هنر و جهت گیری های جدید دانلود , buy روش های رسمی: وضعیت هنر و جهت گیری های جدید , خرید کتاب روش های رسمی: وضعیت هنر و جهت گیری های جدید , دانلود کتاب Formal Methods: State of the Art and New Directions , کتاب Formal Methods: State of the Art and New Directions , دانلود Formal Methods: State of the Art and New Directions , خرید Formal Methods: State of the Art and New Directions , خرید کتاب Formal Methods: State of the Art and New Directions ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.