ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

دانلود کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، SEFM 2016 ، به عنوان بخشی از STAF 2016 ، وین ، اتریش ، 4-8 ژوئیه 2016 ، مجموعه مقالات

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

مشخصات کتاب

Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Computer Science 9763 
ISBN (شابک) : 9783319415901, 9783319415918 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: 420 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

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



کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، SEFM 2016 ، به عنوان بخشی از STAF 2016 ، وین ، اتریش ، 4-8 ژوئیه 2016 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، هوش مصنوعی (شامل رباتیک)



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

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


در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، SEFM 2016 ، به عنوان بخشی از STAF 2016 ، وین ، اتریش ، 4-8 ژوئیه 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، SEFM 2016 ، به عنوان بخشی از STAF 2016 ، وین ، اتریش ، 4-8 ژوئیه 2016 ، مجموعه مقالات



این کتاب مجموعه مقالات چهاردهمین کنفرانس بین‌المللی مهندسی نرم‌افزار و روش‌های رسمی، SEFM 2016 است که به عنوان بخشی از STAF 2016، در وین، اتریش، در ژوئیه 2016 برگزار شد.
20 کامل و 5 مقالات کوتاه ارائه شده در این جلد به دقت بررسی و از بین 88 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: همزمانی و عدم تداخل سازماندهی شدند. تجزیه و تحلیل برنامه؛ بررسی مدل؛ تایید؛ تعامل و سازگاری؛ و روش های توسعه.


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

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.



فهرست مطالب

Front Matter....Pages I-XV
Front Matter....Pages 1-1
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems....Pages 3-8
Satisfiability Checking: Theory and Applications....Pages 9-23
Front Matter....Pages 25-25
Automatic Derivation of Platform Noninterference Properties....Pages 27-44
Linearizability and Causality....Pages 45-60
Refinement-Based Verification of Communicating Unstructured Code....Pages 61-75
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information....Pages 76-81
Front Matter....Pages 83-83
Correlating Structured Inputs and Outputs in Functional Specifications....Pages 85-103
Combining Predicate Abstraction with Fixpoint Approximations....Pages 104-120
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis....Pages 121-136
Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams....Pages 137-152
Front Matter....Pages 153-153
Program Generation Using Simulated Annealing and Model Checking....Pages 155-171
LTL Parameter Synthesis of Parametric Timed Automata....Pages 172-187
Model Checking Simulation Rules for Linearizability....Pages 188-203
Front Matter....Pages 204-211
Counterexamples from Proof Failures in SPARK....Pages 213-213
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution....Pages 215-233
SMT-Based Automatic Proof of ASM Model Refinement....Pages 234-252
Coq Implementation of OO Verification Framework VeriJ....Pages 253-269
Towards a Proof Framework for Information Systems with Weak Consistency....Pages 270-276
Front Matter....Pages 277-283
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems....Pages 285-285
Front Matter....Pages 287-303
Incentive Stackelberg Mean-Payoff Games....Pages 285-285
Stability-Based Adaptation of Asynchronously Communicating Software....Pages 304-320
Compliance Checking in the Open Payments Ecosystem....Pages 321-336
Front Matter....Pages 337-343
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems....Pages 345-345
Modularizing Crosscutting Concerns in Component-Based Systems....Pages 347-366
Tightening a Contract Refinement....Pages 367-385
BMotionWeb: A Tool for Rapid Creation of Formal Prototypes....Pages 386-402
Back Matter....Pages 403-417
....Pages 419-419




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