دانلود کتاب Formal Methods: State of the Art and New Directions (به فارسی: روش های رسمی: وضعیت هنر و جهت گیری های جدید) نوشته شده توسط «Dines Bjørner (auth.) – Paul Boca – Jonathan P. Bowen – Jawed Siddiqi (eds.)»
اطلاعات کتاب روش های رسمی: وضعیت هنر و جهت گیری های جدید
موضوع اصلی: 1
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag London
نویسنده: Dines Bjørner (auth.) – Paul Boca – Jonathan P. Bowen – Jawed Siddiqi (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2010
تعداد صفحه: 273
حجم کتاب: 4 مگابایت
کد کتاب: 1848827350 , 9781848827356
نوبت چاپ: 1
توضیحات کتاب روش های رسمی: وضعیت هنر و جهت گیری های جدید
دهه گذشته شاهد افزایش اندک اما پایدار در تحقیق و به کارگیری روش های رسمی بوده است. تعدادی از داستان‌های موفقیت‌آمیز که به خوبی ذکر شده‌اند اکنون در دسترس هستند و شواهد محکمی را ارائه می‌کنند که روش‌های رسمی می‌توانند در کاربردهای مقیاس صنعتی مؤثر و به کار گرفته شوند.
از طریق مشارکت‌های بنیادی محققان برجسته، این کتاب شواهد بیشتری از استفاده ارائه می‌کند. روش‌های رسمی در زمینه‌های الزامات، طراحی، مدل‌سازی و پیاده‌سازی، تأیید و اعتبارسنجی. فصل‌های مستقل، دیدگاه‌هایی از متخصصان این حوزه‌ها هستند که اطلاعات پیش‌زمینه‌ای غنی و گستره متنوعی از مطالب تخصصی را در اختیار خوانندگان قرار می‌دهند.
این مجموعه معتبر از دیدگاه‌ها تصویری فوری از این حوزه ارائه می‌کند و مورد توجه قابل توجهی خواهد بود. به محققان و متخصصانی که به دنبال دیدگاهی در زمینه زیربنای اساسی روش‌های رسمی و موضوعات داغ کنونی در این زمینه هستند.
وب‌سایت www.fmsand.info منبع مفیدی است که مطالب مرتبط با کتاب و پیوندهایی به مطالب بیشتر ارائه می‌دهد. اطلاعات مرتبط.
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.
دانلود کتاب «روش های رسمی: وضعیت هنر و جهت گیری های جدید»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.