ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods: State of Art and Future Directions

دانلود کتاب روش‌های رسمی: وضعیت هنر و مسیرهای آینده

Formal Methods: State of Art and Future Directions

مشخصات کتاب

Formal Methods: State of Art and Future Directions

ویرایش:  
نویسندگان: ,   
سری:  
 
ناشر:  
سال نشر: 1996 
تعداد صفحات: 23 
زبان: English 
فرمت فایل : PS (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 168 کیلوبایت 

قیمت کتاب (تومان) : 43,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Formal Methods: State of Art and Future Directions به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی: وضعیت هنر و مسیرهای آینده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش‌های رسمی: وضعیت هنر و مسیرهای آینده

ما پیشرفت‌های اخیر را در توسعه تکنیک‌های ریاضی برای تعیین و تأیید سیستم‌های سخت‌افزاری و نرم‌افزاری پیچیده بررسی می‌کنیم. بسیاری از این تکنیک‌ها می‌توانند نمونه‌هایی در ابعاد صنعتی را مدیریت کنند. در واقع، در برخی موارد از این تکنیک ها به طور منظم در صنعت استفاده می شود. موفقیت در مشخصات رسمی را می توان به نشانه هایی نسبت داد که برای طراحان سیستم قابل دسترسی است و به روش های جدید برای به کارگیری موثر این نمادها. موفقیت در راستی‌آزمایی را می‌توان به توسعه ابزارهای جدید مانند اثبات‌کننده‌های قضیه قوی‌تر و بررسی‌کننده‌های مدل نسبت داد که قبلاً در دسترس بودند. در نهایت، ما برخی از جهت‌های تحقیقاتی کلی را پیشنهاد می‌کنیم که معتقدیم احتمالاً منجر به پیشرفت‌های تکنولوژیکی می‌شوند. اگرچه پیش‌بینی پیشرفت‌های آینده دشوار است، خوش‌بینی نسبت به نسل بعدی روش‌های رسمی با توجه به پیشرفت در دهه گذشته موجه است. با این حال، چنین پیشرفتی به شدت به پشتیبانی مستمر از تحقیقات پایه در مورد زبان‌های مشخصات جدید و تکنیک‌های تأیید جدید بستگی دارد.


توضیحاتی درمورد کتاب به خارجی

We survey recent progress in the development of mathematical techniques for specifying and verifying complex hardware and software systems. Many of these techniques are capable of handling industrial-sized examples; in fact, in some cases these techniques are already being used on a regular basis in industry. Success in formal specification can be attributed to notations that are accessible to system designers and to new methodologies for applying these notations effectively. Success in verification can be attributed to the development of new tools such as more powerful theorem provers and model checkers than were previously available. Finally, we suggest some general research directions that we believe are likely to lead to technological advances. Although it is difficult to predict where the future advances will come, optimism about the next generation of formal methods is justified in view of the progress during the past decade. Such progress, however, will strongly depend on continued support for basic research on new specification languages and new verification techniques.





نظرات کاربران