دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
دانلود کتاب آزمون ها و اثبات ها: ششمین کنفرانس بین المللی ، TAP 2012 ، پراگ ، جمهوری چک ، 31 مه - 1 ژوئن 2012. مجموعه مقالات
مشخصات کتاب
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ویرایش: 1 نویسندگان: Andreas Kuehlmann (auth.), Achim D. Brucker, Jacques Julliand (eds.) سری: Lecture Notes in Computer Science 7305 Programming and Software Engineering ISBN (شابک) : 9783642304736, 3642304737 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 187 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب آزمون ها و اثبات ها: ششمین کنفرانس بین المللی ، TAP 2012 ، پراگ ، جمهوری چک ، 31 مه - 1 ژوئن 2012. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمون ها و اثبات ها: ششمین کنفرانس بین المللی ، TAP 2012 ، پراگ ، جمهوری چک ، 31 مه - 1 ژوئن 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمون ها و اثبات ها: ششمین کنفرانس بین المللی ، TAP 2012 ، پراگ ، جمهوری چک ، 31 مه - 1 ژوئن 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین المللی آزمون و اثبات، TAP 2012، که در پراگ، جمهوری چک، در ماه می/ژوئن 2012، به عنوان بخشی از کنفرانس های فدرال TOOLS 2012 برگزار شد، است. 9 مقاله کامل اصلاح شده ارائه شده همراه با 2 مقاله دعوت شده، 4 مقاله کوتاه و یک آموزش به دقت بررسی و از بین 29 مقاله ارسالی انتخاب شدند. این مقالات به همگرایی آزمایش‌ها و اثبات‌ها برای توسعه تکنیک‌ها و کاربردهای جدید اختصاص دارد که از مهندسان در ساختن سیستم‌های ایمن، ایمن و قابل اعتماد پشتیبانی می‌کنند. از جمله موضوعات تحت پوشش تست مبتنی بر مدل است. تست مبتنی بر سناریو؛ تولید ساختار داده پیچیده؛ و اعتبار سنجی پروتکل ها و کتابخانه ها.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.
فهرست مطالب
Front Matter....Pages -
The Technology and Psychology of Testing Your Code as You Develop It....Pages 1-1
Combining Model Checking and Symbolic Execution for Software Testing....Pages 2-2
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap....Pages 3-18
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites....Pages 19-34
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest....Pages 35-50
Testing Library Specifications by Verifying Conformance Tests....Pages 51-66
Incremental Model-Based Testing of Delta-Oriented Software Product Lines....Pages 67-82
Conformance Relations for Labeled Event Structures....Pages 83-98
Test Generation from Recursive Tiles Systems....Pages 99-114
Generation of Test Data Structures Using Constraint Logic Programming....Pages 115-131
Constructive Finite Trace Analysis with Linear Temporal Logic....Pages 132-148
Towards Scenario-Based Testing of UML Diagrams....Pages 149-155
Evaluating and Debugging OCL Expressions in UML Models....Pages 156-162
A Framework for the Specification of Random SAT and QSAT Formulas....Pages 163-168
A Lesson on Structural Testing with PathCrawler-online.com ....Pages 169-175
Tutorial on Automated Structural Testing with PathCrawler....Pages 176-176
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Fusionsfieber 2.0: Wie man eher, schneller und nachhaltiger bei Übernahmen Erfolge erzielt
دانلود کتاب Perfectionism, Health, and Well-Being
دانلود کتاب Teorie dell’imperialismo
دانلود کتاب Эксплуатация электрочасовых устройств.
