دانلود کتاب Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (به فارسی: نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده) نوشته شده توسط «Tony Hoare – Jay Misra (auth.) – Bertrand Meyer – Jim Woodcock (eds.)»
اطلاعات کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده
موضوع اصلی: برنامه نويسي
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Tony Hoare – Jay Misra (auth.) – Bertrand Meyer – Jim Woodcock (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 546
حجم کتاب: 8 مگابایت
کد کتاب: 3540691472 , 9783540691471
نوبت چاپ: 1
توضیحات کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده
این نظرسنجی پیشرفته نتیجه اولین کنفرانس کاری IFIP TC 2/WG 2.3 در مورد نرم افزار تأیید شده: نظریه ها، ابزارها، آزمایش ها، VSTTE 2005 است که در ماه اکتبر در زوریخ، سوئیس برگزار شد. 2005. این یک رویداد تاریخی بود که بسیاری از کارشناسان بین‌المللی برتر را در مورد روش‌های سیستماتیک برای تعیین، ساخت و تأیید نرم‌افزار با کیفیت بالا جمع‌آوری کرد.
این کتاب شامل 32 مقاله کامل اصلاح‌شده و 27 مقاله اصلاح‌شده است. مقالات موقعیت، قبل از معرفی کلی به منطقه، که همچنین چشم انداز یک پروژه چالش بزرگ را ارائه می دهد: “کامپایلر تایید”. بیشتر مشارکت‌ها با رونویسی از بحث واضحی که بین نویسنده و مخاطبان درگرفت دنبال می‌شوند. مقالات در بخش‌های موضوعی در مورد ابزارهای تأیید، تضمین صحت، جنبه‌های مهندسی نرم‌افزار، تأیید برنامه‌نویسی شی‌گرا، زبان برنامه‌نویسی و جنبه‌های روش‌شناسی، مؤلفه‌ها، تجزیه و تحلیل استاتیک، طراحی، تجزیه و تحلیل و ابزارها، و همچنین تکنیک‌های رسمی سازمان‌دهی شده‌اند. P>
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software.
The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the “verifying compiler”. Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.