دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings
دانلود کتاب تست ها و اثبات ها: هشتمین کنفرانس بین المللی TAP 2014، به عنوان بخشی از STAF 2014، York، UK، 24-25 ژوئیه 2014 برگزار می شود. پرونده ها
مشخصات کتاب
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings
ویرایش: 1
نویسندگان: Martina Seidl. Nikolai Tillmann (eds.)
سری: Lecture Notes in Computer Science 8570 Programming and Software Engineering
ISBN (شابک) : 9783319090986, 9783319090993
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 223
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب تست ها و اثبات ها: هشتمین کنفرانس بین المللی TAP 2014، به عنوان بخشی از STAF 2014، York، UK، 24-25 ژوئیه 2014 برگزار می شود. پرونده ها: مهندسی نرم افزار، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تست ها و اثبات ها: هشتمین کنفرانس بین المللی TAP 2014، به عنوان بخشی از STAF 2014، York، UK، 24-25 ژوئیه 2014 برگزار می شود. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تست ها و اثبات ها: هشتمین کنفرانس بین المللی TAP 2014، به عنوان بخشی از STAF 2014، York، UK، 24-25 ژوئیه 2014 برگزار می شود. پرونده ها
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی آزمون‌ها و اثبات‌ها، TAP 2014، در یورک، انگلستان، در ژوئیه 2014، به عنوان بخشی از کنفرانس‌های فدرال STAF 2014 است. 10 مقاله کامل اصلاح شده و 4 مقاله کوتاه ارائه شده همراه با دو توضیح آموزشی به دقت بررسی و از بین 27 مقاله ارسالی انتخاب شدند. این مقالات موضوعاتی را در چهار حوزه تحقیقاتی زیر پوشش می‌دهند: تولید آزمون، پر کردن شکاف‌های معنایی، فرآیندهای توسعه یکپارچه و راستی‌آزمایی محدود.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
فهرست مطالب
Front Matter....Pages -
Model-Based Mutation Testing of an Industrial Measurement Device....Pages 1-19
Computing with an SMT Solver....Pages 20-35
An Abstraction Technique for Testing Decomposable Systems by Model Checking....Pages 36-52
An All-in-One Toolkit for Automated White-Box Testing....Pages 53-60
Behaviour Driven Development for Tests and Verification....Pages 61-77
Quality Assurance in MBE Back and Forth....Pages 78-81
Visualizing Unbounded Symbolic Execution....Pages 82-98
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models....Pages 99-116
Generating Classified Parallel Unit Tests....Pages 117-133
JTACO : Test Execution for Faster Bounded Verification....Pages 134-141
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification....Pages 142-157
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing....Pages 158-164
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses....Pages 165-168
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers....Pages 169-186
Lightweight State Capturing for Automated Testing of Multithreaded Programs....Pages 187-203
How Test Generation Helps Software Specification and Deductive Verification in Frama-C....Pages 204-211
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب New Concepts for Parallel Object-Relational Query Processing
دانلود کتاب Capitalism: Its Origins and Evolution as a System of Governance
دانلود کتاب Klausurentrainer Technische Mechanik : Aufgaben und ausführliche Lösungen zu Statik, Festigkeitslehre und Dynamik
دانلود کتاب Безопасность жизнедеятельности. Защита населения и территорий в чрезвычайных ситуациях
