دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
دانلود کتاب آزمون ها و اثبات ها: یازدهمین کنفرانس بین المللی ، TAP 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 19-20 ژوئیه 2017 ، مجموعه مقالات
مشخصات کتاب
Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
ویرایش: 1
نویسندگان: Sebastian Gabmeyer. Einar Broch Johnsen (eds.)
سری: Lecture Notes in Computer Science 10375
ISBN (شابک) : 9783319614670, 9783319614663
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 167
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب آزمون ها و اثبات ها: یازدهمین کنفرانس بین المللی ، TAP 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 19-20 ژوئیه 2017 ، مجموعه مقالات: مهندسی نرم افزار، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی، منطق و معانی برنامه ها، روش های محاسباتی، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب آزمون ها و اثبات ها: یازدهمین کنفرانس بین المللی ، TAP 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 19-20 ژوئیه 2017 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب آزمون ها و اثبات ها: یازدهمین کنفرانس بین المللی ، TAP 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 19-20 ژوئیه 2017 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی آزمون‌ها و اثبات‌ها، TAP 2017 است که به عنوان بخشی از STAF 2017، در ماربورگ، آلمان، در ژوئیه 2017 برگزار شد.
9 مقالات کامل و 1 مقاله دعوت شده ارائه شده در این جلد به دقت بررسی و از بین 16 مقاله ارسالی انتخاب شدند. کنفرانس TAP تحقیق در راستی‌آزمایی و روش‌های رسمی را ترویج می‌کند که تعامل اثبات‌ها و آزمایش‌ها را هدف قرار می‌دهد: پیشرفت تکنیک‌ها از هر نوع و ترکیب آنها، با هدف نهایی بهبود قابلیت اطمینان نرم‌افزار و سیستم.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.
The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
فهرست مطالب
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Abstraction Refinement for the Analysis of Software Product Lines....Pages 3-20
Front Matter....Pages 21-21
Hybrid Information Flow Analysis for Real-World C Code....Pages 23-40
Symbolic Execution of Transition Systems with Function Summaries....Pages 41-58
Unit Testing of Database-Driven Java Enterprise Edition Applications....Pages 59-76
Model-Based Testing of Probabilistic Systems with Stochastic Time....Pages 77-97
Test Suite Reduction in Idempotence Testing of Infrastructure as Code....Pages 98-115
Front Matter....Pages 117-117
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms....Pages 119-128
Skolem Function Continuation for Quantified Boolean Formulas....Pages 129-138
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions....Pages 139-151
Testing a Saturation-Based Theorem Prover: Experiences and Challenges....Pages 152-161
Back Matter....Pages 163-163
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sidney J. Furie: life and films
دانلود کتاب Elizabeth: Virgin Queen?
دانلود کتاب Internet of Healthcare Things: Machine Learning for Security and Privacy (Machine Learning in Biomedical Science and Healthcare Informatics)
