دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
دانلود کتاب روش های رسمی و مهندسی نرم افزار: سیزدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2011، دورهام، انگلستان، 26-28 اکتبر 2011. مجموعه مقالات
مشخصات کتاب
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
ویرایش: 1 نویسندگان: Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) سری: Lecture Notes in Computer Science 6991 : Programming and Software Engineering ISBN (شابک) : 9783642245589, 9783642245596 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 681 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب روش های رسمی و مهندسی نرم افزار: سیزدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2011، دورهام، انگلستان، 26-28 اکتبر 2011. مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی و مهندسی نرم افزار: سیزدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2011، دورهام، انگلستان، 26-28 اکتبر 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی و مهندسی نرم افزار: سیزدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2011، دورهام، انگلستان، 26-28 اکتبر 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2011، که در دورهام، انگلستان، اکتبر 2011 برگزار شد، تشکیل شده است. . این مقالات به تمام مسائل جاری در روش های رسمی و کاربردهای آنها در مهندسی نرم افزار می پردازند. آنها در بخش های موضوعی در مدل های رسمی سازماندهی شده اند. بررسی مدل و احتمال؛ مشخصات و توسعه؛ امنیت؛ تایید رسمی؛ سیستم های فیزیکی سایبری؛ رویداد-B; تأیید، تجزیه و تحلیل و آزمایش؛ اصلاح؛ و همچنین اثبات و بازنویسی قضیه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
فهرست مطالب
Front Matter....Pages -
Towards a Signal Calculus for Event-Based Synchronous Languages....Pages 1-13
Reasoning about Programs Using a Scientific Method....Pages 14-14
Poirot—A Concurrency Sleuth....Pages 15-15
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems....Pages 16-32
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP....Pages 33-48
The Safety-Critical Java Mission Model: A Formal Account....Pages 49-65
Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications....Pages 66-81
Asynchronous Communication in MSVL....Pages 82-97
Verification of Orchestration Systems Using Compositional Partial Order Reduction....Pages 98-114
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers....Pages 115-130
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications....Pages 131-146
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems....Pages 147-162
Integrating Prototyping into the SOFL Three-Step Modeling Approach....Pages 163-178
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM....Pages 179-194
On Fitting a Formal Method into Practice....Pages 195-210
A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems....Pages 211-226
Conformance Checking of Dynamic Access Control Policies....Pages 227-242
A Knowledge-Based Verification Method for Dynamic Access Control Policies....Pages 243-258
Validation of Security-Design Models Using Z....Pages 259-274
Mutation in Linked Data Structures....Pages 275-290
Contract-Based Verification of Simulink Models....Pages 291-306
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units....Pages 307-322
Architectural Verification of Control Systems Using CSP....Pages 323-339
Symbolic Execution of Alloy Models....Pages 340-355
Distributed Theorem Proving for Distributed Hybrid Systems....Pages 356-371
Towards a Model Checker for NesC and Wireless Sensor Networks....Pages 372-387
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks....Pages 388-403
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres....Pages 404-419
Formal Derivation of a Distributed Program in Event B....Pages 420-436
From Requirements to Development: Methodology and Example....Pages 437-455
Reasoning about Liveness Properties in Event-B....Pages 456-471
Extracting Significant Specifications from Mining through Mutation Testing....Pages 472-488
Developer-Oriented Correctness Proofs....Pages 489-504
Static Analysis of String Values....Pages 505-521
A Theory of Classes from the Theoretical Foundations of LePUS3....Pages 522-536
Differencing Labeled Transition Systems....Pages 537-552
Developing a Consensus Algorithm Using Stepwise Refinement....Pages 553-568
Refining Nodes and Edges of State Machines....Pages 569-584
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures....Pages 585-600
A Language for Test Case Refinement in the Test Template Framework....Pages 601-616
Automating Algebraic Methods in Isabelle....Pages 617-632
Term Rewriting in Logics of Partial Functions....Pages 633-650
Synchronous AADL and Its Formal Analysis in Real-Time Maude....Pages 651-667
Back Matter....Pages -
