دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 ، مقاله ها و بحث های منتخب اصلاح شده
مشخصات کتاب
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
ویرایش: 1 نویسندگان: Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.) سری: Lecture Notes in Computer Science 5295 ISBN (شابک) : 3540878726, 9783540878728 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 273 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب نرم افزار تأیید شده: نظریه ها ، ابزارها ، آزمایشات: اولین کنفرانس IFIP TC 2 / WG 2.3 ، VSTTE 2005 ، زوریخ ، سوئیس ، 10-13 اکتبر 2005 ، مقاله ها و بحث های منتخب اصلاح شده: تکنیک های برنامه نویسی، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، سیستم های عامل، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تأیید شده: نظریه ها ، ابزارها ، آزمایشات: اولین کنفرانس IFIP TC 2 / WG 2.3 ، VSTTE 2005 ، زوریخ ، سوئیس ، 10-13 اکتبر 2005 ، مقاله ها و بحث های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تأیید شده: نظریه ها ، ابزارها ، آزمایشات: اولین کنفرانس 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.
فهرست مطالب
Front Matter....Pages -
Readable Formal Proofs....Pages 1-1
From Verification to Synthesis....Pages 2-2
Verification, Least-Fixpoint Checking, Abstraction....Pages 3-3
Combining Tests and Proofs....Pages 4-5
Propositional Dynamic Logic for Recursive Procedures....Pages 6-14
Mapped Separation Logic....Pages 15-29
Unguessable Atoms: A Logical Foundation for Security....Pages 30-53
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems....Pages 54-69
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML....Pages 70-83
Incremental Benchmarks for Software Verification Tools and Techniques....Pages 84-98
Verified Protection Model of the seL4 Microkernel....Pages 99-114
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic....Pages 115-129
Bounded Verification of Voting Software....Pages 130-145
Expression Decomposition in a Rely/Guarantee Context....Pages 146-160
A Verification Approach for System-Level Concurrent Programs....Pages 161-176
Boogie Meets Regions: A Verification Experience Report....Pages 177-191
Flexible Immutability with Frozen Objects....Pages 192-208
The Verisoft Approach to Systems Verification....Pages 209-224
Formal Functional Verification of Device Drivers....Pages 225-239
Verified Process-Context Switch for C-Programmed Kernels....Pages 240-254
Where Is the Value in a Program Verifier?....Pages 255-262
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Semiconducting Polymers: Applications, Properties, and Synthesis (ACS Symposium)
دانلود کتاب Latin American and Caribbean International Institutional Law
دانلود کتاب Stripes -- and Java web development is fun again
دانلود کتاب Laparoscopy in Children
