دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
دانلود کتاب مهندسی نرم افزار و روش های رسمی: دوازدهمین کنفرانس بین المللی ، SEFM 2014 ، گرنوبل ، فرانسه ، 1-5 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
ویرایش: 1
نویسندگان: Dimitra Giannakopoulou. Gwen Salaün (eds.)
سری: Lecture Notes in Computer Science 8702 Programming and Software Engineering
ISBN (شابک) : 9783319104300, 9783319104317
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 412
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: دوازدهمین کنفرانس بین المللی ، SEFM 2014 ، گرنوبل ، فرانسه ، 1-5 سپتامبر 2014. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: دوازدهمین کنفرانس بین المللی ، SEFM 2014 ، گرنوبل ، فرانسه ، 1-5 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مهندسی نرم افزار و روش های رسمی: دوازدهمین کنفرانس بین المللی ، SEFM 2014 ، گرنوبل ، فرانسه ، 1-5 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی
مهندسی نرم‌افزار و روش‌های رسمی، SEFM 2014، برگزار شده در
گرنوبل، فرانسه، در سپتامبر 2014 است.
23 مقاله کامل همراه با 3 مقاله دعوت شده و 6 مقاله ابزار ارائه
شده است. از بین 106 مورد ارسالی به دقت بررسی و انتخاب شدند.
آنها در بخش موضوعی در تأیید برنامه، آزمایش، سیستم‌های مبتنی
بر مؤلفه، سیستم‌های هم‌زمان و تعبیه‌شده، بررسی مدل و یادگیری
خودکار، صحت برنامه، و سیستم‌های تطبیقی و چند عاملی
سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th
International Conference on Software Engineering and Formal
Methods, SEFM 2014, held in Grenoble, France, in September
2014.
The 23 full papers presented together with 3 invited and 6
tool papers were carefully reviewed and selected from 106
submissions. They are organized in topical section on program
verification, testing, component-based systems, real-time and
embedded systems, model checking and automata learning,
program correctness, and adaptive and multi-agent systems.
فهرست مطالب
Front Matter....Pages -
Formal Proofs of Code Generation and Verification Tools....Pages 1-4
Lightweight Program Construction and Verification Tools in Isabelle/HOL....Pages 5-19
Completeness of Separation Logic with Inductive Definitions for Program Verification....Pages 20-34
A Thread-Safe Library for Binary Decision Diagrams....Pages 35-49
Effect-Polymorphic Behaviour Inference for Deadlock Checking....Pages 50-64
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations....Pages 65-80
Formalizing DSL Semantics for Reasoning and Conformance Testing....Pages 81-95
Test Suite Completeness and Partial Models....Pages 96-110
Automated Error-Detection and Repair for Compositional Software Specifications....Pages 111-127
A General Framework for Architecture Composability....Pages 128-143
Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce....Pages 144-158
Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis....Pages 159-174
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL....Pages 175-189
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie....Pages 190-204
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems....Pages 205-219
Optimising the ProB Model Checker for B Using Partial Order Reduction....Pages 220-234
Rapid Prototyping of a Semantically Well Founded Circus Model Checker....Pages 235-249
Learning Extended Finite State Machines....Pages 250-264
Translating Event-B Machines to Database Applications....Pages 265-270
IKOS: A Framework for Static Analysis Based on Abstract Interpretation....Pages 271-277
A Toolset for Support of Teaching Formal Software Development....Pages 278-283
Execution and Verification of UML State Machines with Erlang....Pages 284-289
A Tool for Verifying Dynamic Properties in B....Pages 290-295
WeVerca: Web Applications Verification for PHP....Pages 296-301
More Flexible Object Invariants with Less Specification Overhead....Pages 302-316
Verified Functional Iterators Using the FoCaLiZe Environment....Pages 317-331
Tool Support for Teaching Hoare Logic....Pages 332-346
A Two-Phase Static Analysis for Reliable Adaptation....Pages 347-362
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B....Pages 363-377
A Formal Privacy Policy Framework for Social Networks....Pages 378-392
Back Matter....Pages -
