ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

دانلود کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

مشخصات کتاب

Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

ویرایش: 1 
نویسندگان: , ,   
سری: Communications in Computer and Information Science 779 
ISBN (شابک) : 9783319717333, 9783319717340 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: 225 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

قیمت کتاب (تومان) : 35,000



کلمات کلیدی مربوط به کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده: مهندسی نرم افزار



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ابزارها و روشهای تجزیه و تحلیل برنامه: چهارمین کنفرانس بین المللی ، TMPA 2017 ، مسکو ، روسیه ، 3-4 مارس 2017 ، مقالات منتخب اصلاح شده



این کتاب مجموعه مقالات داوری چهارمامین کنفرانس بین المللی ابزارها و روشها برای تجزیه و تحلیل برنامه، TMPA 2017، مسکو، روسیه، 3 تا 4 مارس 2017 است.
12 مقاله کامل اصلاح شده و 5 مقاله کوتاه اصلاح شده ارائه شده همراه با سه چکیده از سخنرانی های اصلی به دقت بررسی و از بین 51 مقاله ارسالی انتخاب شدند. این مقالات به موضوعاتی مانند اتوماسیون تست نرم افزار، تجزیه و تحلیل برنامه استاتیک، تایید، روش های پویا تجزیه و تحلیل برنامه، تست و تجزیه و تحلیل سیستم های موازی و توزیع شده، تست و تجزیه و تحلیل سیستم های با بار بالا و در دسترس بالا، تجزیه و تحلیل و تایید سخت افزار می پردازد. و سیستم‌های نرم‌افزاری، روش‌های ساخت نرم‌افزار با کیفیت، ابزارهایی برای تجزیه و تحلیل، آزمایش و تأیید نرم‌افزار.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.
The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.



فهرست مطالب

Front Matter ....Pages I-XVIII
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer (Azat Abdullin, Daniil Stepanov, Marat Akhin)....Pages 1-10
Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel (Pavel Andrianov, Vadim Mutilin, Alexey Khoroshilov)....Pages 11-23
Extended Context-Free Grammars Parsing with Generalized LL (Artem Gorokhov, Semyon Grigorev)....Pages 24-37
Defect Report Classification in Accordance with Areas of Testing (Anna Gromova)....Pages 38-50
Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer (Vsevolod Kotlyarov, Pavel Drobintsev, Nikita Voinov, Ivan Selin, Alexey Tolstoles)....Pages 51-63
Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs (Nikita Koval, Dmitry Tsitelov, Roman Elizarov)....Pages 64-76
A Survey on Model-Based Testing Tools for Test Case Generation (Wenbin Li, Franck Le Gall, Naum Spaseski)....Pages 77-89
Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation (Georgiy Lukyanov, Artem Pelenitsin)....Pages 90-101
Simple Type-Based Alias Analysis for a VLIW Processor (Aleksey Markin, Alexandr Ermolitsky)....Pages 102-113
5W+1H Static Analysis Report Quality Measure (Maxim Menshchikov, Timur Lepikhin)....Pages 114-126
Layered Layouts for Software Systems Visualization Using Nested Petri Nets (Alexey A. Mitsyuk, Yaroslav V. Kotylev)....Pages 127-138
Unity Application Testing Automation with Appium and Image Recognition (Maxim Mozgovoy, Evgeny Pyshkin)....Pages 139-150
Compositional Process Model Synthesis Based on Interface Patterns (Roman A. Nesterov, Irina A. Lomazova)....Pages 151-162
Using Functional Directives to Analyze Code Complexity (Daniel Rubio Bonilla, Colin W. Glass)....Pages 163-169
Generating Cost-Aware Covering Arrays for Free (Mustafa Kemal Taş, Hanefi Mercan, Gülşen Demiröz, Kamer Kaya, Cemal Yilmaz)....Pages 170-182
Statically Checking Conventionality of Array Objects in JavaScript (Astrid Younang, Lunjin Lu, Nabil Almashfi)....Pages 183-195
A Survey of High-Performance Computing for Software Verification (Ilja Zakharov)....Pages 196-208
Back Matter ....Pages 209-209




نظرات کاربران