دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
دانلود کتاب مهندسی نرم افزار قابل اعتماد: نظریه ها ، ابزارها و برنامه ها: اولین سمپوزیوم بین المللی ، SETTA 2015 ، نانجینگ ، چین ، 4-6 نوامبر 2015 ، مجموعه مقالات
مشخصات کتاب
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
ویرایش: 1 نویسندگان: Xuandong Li, Zhiming Liu, Wang Yi (eds.) سری: Lecture Notes in Computer Science 9409 ISBN (شابک) : 9783319259413, 9783319259420 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 325 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 24 مگابایت
قیمت کتاب (تومان) : 40,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار قابل اعتماد: نظریه ها ، ابزارها و برنامه ها: اولین سمپوزیوم بین المللی ، SETTA 2015 ، نانجینگ ، چین ، 4-6 نوامبر 2015 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، شبیه سازی و مدل سازی، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار قابل اعتماد: نظریه ها ، ابزارها و برنامه ها: اولین سمپوزیوم بین المللی ، SETTA 2015 ، نانجینگ ، چین ، 4-6 نوامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار قابل اعتماد: نظریه ها ، ابزارها و برنامه ها: اولین سمپوزیوم بین المللی ، SETTA 2015 ، نانجینگ ، چین ، 4-6 نوامبر 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین سمپوزیوم بین‌المللی مهندسی نرم‌افزار قابل اعتماد: نظریه‌ها، ابزارها و کاربردها، SETTA 2015 است که در نوامبر 2015 در نانجینگ، چین برگزار شد.
20 مقاله کامل ارائه شده به همراه 3 گفتگوی دعوت شده با دقت بررسی و از بین 60 مقاله ارسالی انتخاب شدند. سیستم های ترکیبی و سایبری فیزیکی؛ آزمایش، شبیه سازی و استنتاج؛ شبیه سازی و درستی؛ طراحی و پیاده سازی؛ اعدام نمادین و غیرقابل تغییر؛ و تأیید و مطالعات موردی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.
The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
فهرست مطالب
Front Matter....Pages I-XIX
Front Matter....Pages 1-1
Fault Trees on a Diet....Pages 3-18
Cost vs. Time in Stochastic Games and Markov Automata....Pages 19-34
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking....Pages 35-51
Front Matter....Pages 53-53
Refinement and Proof Based Development of Systems Characterized by Continuous Functions....Pages 55-70
Synthesizing Controllers for Multi-lane Traffic Maneuvers....Pages 71-86
Extending Hybrid CSP with Probability and Stochasticity....Pages 87-102
Front Matter....Pages 103-103
Towards Verified Faithful Simulation....Pages 105-119
Cardinality of UDP Transmission Outcomes....Pages 120-134
Inferring Software Behavioral Models with MapReduce....Pages 135-149
Front Matter....Pages 151-151
An Application of Temporal Projection to Interleaving Concurrency....Pages 153-167
A High-Level Model for an Assembly Language Attacker by Means of Reflection....Pages 168-182
Front Matter....Pages 183-183
Improving Design Decomposition....Pages 185-200
From Requirements Engineering to Safety Assurance: Refinement Approach....Pages 201-216
Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods....Pages 217-223
Front Matter....Pages 225-225
PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation....Pages 227-242
Generating Specifications for Recursive Methods by Abstracting Program States....Pages 243-257
Assertion-Directed Precondition Synthesis for Loops over Data Structures....Pages 258-274
Front Matter....Pages 275-275
Automatic Fault Localization for BIP....Pages 277-283
Formal Verification of the Pastry Protocol Using \(\mathrm{{TLA}}^{+}\) ....Pages 284-299
Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics....Pages 300-315
Back Matter....Pages 317-317
