خرید و دانلود نسخه کامل کتاب Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
قیمت اصلی 66,500 تومان بود.29,000 تومانقیمت فعلی 29,000 تومان است.
تعداد فروش: 59
| عنوان فارسی | جنبه های نظری و عملی بررسی مدل اسپین: 5 و ششمین کارگاه بین المللی SPIN ترنتو ، ایتالیا ، 5 ژوئیه 1999 تولوز ، فرانسه ، 21 و 24 سپتامبر 1999 مجموعه مقالات |
|---|---|
| عنوان اصلی | Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.) |
| ISBN | 3540664998, 9783540664994 |
| سال نشر | 1999 |
| زبان | English |
| تعداد صفحات | 293 |
| دسته | ژنتیک |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
افزایش اطمینان طراح به اینکه یک نرم افزار یا سخت افزار منطبق با مشخصات آن است، به یک هدف کلیدی در فرآیند طراحی برای سیستم های نرم افزاری و سخت افزاری تبدیل شده است. رویکردهای بسیاری برای رسیدن به این هدف توسعه یافته است، از جمله مشخصات دقیق، تأیید رسمی، اعتبارسنجی خودکار و آزمایش. بررسی مدل حالت محدود، همانطور که توسط بررسی کننده مدل حالت صریح SPIN پشتیبانی می‌شود، از محبوبیت دائمی در تأیید ویژگی خودکار سیستم‌های مبتنی بر پیام همزمان برخوردار است. SPIN در بخش‌های بزرگی توسط جرارد هومان پیاده‌سازی شده و نگهداری می‌شود و به‌طور رایگان از طریق ftp fromnetlib.bell-labs.comor از آدرس http://cm.bell-labs.com/cm/cs/what/ در دسترس است. spin/Man/README.html. زیبایی بررسی مدل nite-state در امکان ساخت ابزارهای اعتبار سنجی ” فشار دکمه” نهفته است. وقتی فضای حالت nite است، پیمایش فضای حالت در نهایت با یک حکم قطعی در مورد خاصیتی که در حال تایید است خاتمه می یابد. به همان اندازه مفید این واقعیت است که در صورت احراز ویژگی، بررسی‌کننده مدل یک نمونه متقابل را برمی‌گرداند، ویژگی که تا حد زیادی شناسایی خطا را تسهیل می‌کند. فضای حالت بزرگ است و نوع ویژگی هایی که می توانند اعتبار سنجی شوند به منطقی با بیان نسبتاً محدود محدود شده است.
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.