دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Rocco De Nicola. Eva Kühn (eds.)
سری: Lecture Notes in Computer Science 9763
ISBN (شابک) : 9783319415901, 9783319415918
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 420
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: چهاردهمین کنفرانس بین المللی ، 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