دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: State of the Art and New Directions
دانلود کتاب روشهای رسمی: حالت هنر و جهت های جدید
مشخصات کتاب
Formal Methods: State of the Art and New Directions
ویرایش: 1 نویسندگان: Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.) سری: ISBN (شابک) : 1848827350, 9781848827356 ناشر: Springer-Verlag London سال نشر: 2010 تعداد صفحات: 291 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب روشهای رسمی: حالت هنر و جهت های جدید: مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان
در صورت تبدیل فایل کتاب Formal Methods: State of the Art and New Directions به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی: حالت هنر و جهت های جدید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی: حالت هنر و جهت های جدید
دهه گذشته شاهد افزایش اندک اما پایدار در تحقیق و به کارگیری روش های رسمی بوده است. تعدادی از داستان‌های موفقیت‌آمیز که به خوبی ذکر شده‌اند اکنون در دسترس هستند و شواهد محکمی را ارائه می‌کنند که روشهای رسمی می‌توانند در کاربردهای مقیاس صنعتی مؤثر و به کار گرفته شوند.
از طریق مشارکت‌های بنیادی محققان برجسته، این کتاب شواهد
بیشتری از استفاده ارائه می‌کند. روشهای رسمی در زمینه‌های
الزامات، طراحی، مدل‌سازی و پیاده‌سازی، تأیید و اعتبارسنجی.
فصل‌های مستقل، دیدگاه‌هایی از متخصصان این حوزه‌ها هستند که
اطلاعات پیش‌زمینه‌ای غنی و گستره متنوعی از مطالب تخصصی را در
اختیار خوانندگان قرار می‌دهند.
این مجموعه معتبر از دیدگاه‌ها تصویری فوری از این حوزه ارائه
می‌کند و مورد توجه قابل توجهی خواهد بود. به محققان و متخصصانی
که به دنبال دیدگاهی در زمینه زیربنای اساسی روشهای رسمی و
موضوعات داغ کنونی در این زمینه هستند.
وبسایت 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.
فهرست مطالب
Front Matter....Pages i-xxiv
Domain Engineering....Pages 1-41
Program Verification and System Dependability....Pages 43-78
The Abstract State Machines Method for High-Level System Design and Analysis....Pages 79-116
Applications and Methodology of νZ ....Pages 117-145
The Computer Ate My Vote....Pages 147-184
Formal Methods for Biochemical Signalling Pathways....Pages 185-215
Separation Logic and Concurrency....Pages 217-248
Programming Language Description Languages....Pages 249-273
