ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

دانلود کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2015، پاریس، فرانسه، 3-5 نوامبر 2015، مجموعه مقالات

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

مشخصات کتاب

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 9407 
ISBN (شابک) : 9783319254227, 9783319254234 
ناشر: Springer International Publishing 
سال نشر: 2015 
تعداد صفحات: 457 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 مگابایت 

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



کلمات کلیدی مربوط به کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2015، پاریس، فرانسه، 3-5 نوامبر 2015، مجموعه مقالات: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلر، مترجمان، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری



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

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


در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2015، پاریس، فرانسه، 3-5 نوامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، ICFEM 2015، پاریس، فرانسه، 3-5 نوامبر 2015، مجموعه مقالات



این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2015، در پاریس، فرانسه، در نوامبر 2015 برگزار شد. این مقالات طیف وسیعی از موضوعات را در زمینه روش‌های رسمی و مهندسی نرم‌افزار پوشش می‌دهند و به پیشرفت هنر استفاده از روش‌های رسمی در عمل اختصاص داده شده‌اند. آنها به طور خاص بر ترکیبی از جنبه های مفهومی و روش شناختی با پایه رسمی و پشتیبانی ابزار تمرکز می کنند.


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

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.



فهرست مطالب

Front Matter....Pages I-XXV
Domain-Specific Languages with Scala....Pages 1-16
Formal Verification of Programs Computing the Floating-Point Average....Pages 17-32
Formalization and Verification of Declarative Cloud Orchestration....Pages 33-49
Consistency Verification of Specification Rules....Pages 50-66
Applying Automata Learning to Embedded Control Software....Pages 67-83
A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information....Pages 84-99
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction....Pages 100-115
Dependency Analysis of Functional Specifications with Algebraic Data Structures....Pages 116-133
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing....Pages 134-152
Mastering the Visualization of Larger State Spaces with Projection Diagrams....Pages 153-169
Refinement-Based Verification of the FreeRTOS Scheduler in VCC....Pages 170-186
A Predictability Algorithm for Distributed Discrete Event Systems....Pages 187-200
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems....Pages 201-216
Regression Verification for Programmable Logic Controller Software....Pages 217-233
A Logical Approach for Behavioural Composition of Scenario-Based Models....Pages 234-251
Formal Analysis of Power Electronic Systems....Pages 252-269
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations....Pages 270-286
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)....Pages 287-303
B for Modeling Secure Information Systems....Pages 304-311
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata....Pages 312-318
A Recursive Probabilistic Temporal Logic....Pages 319-335
Specifying Compatible Sharing in Data Structures....Pages 336-348
Delta-Oriented FSM-Based Testing....Pages 349-365
An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems....Pages 366-381
Continuation Semantics for Concurrency with Multiple Channels Communication....Pages 382-399
SysML Blocks Adaptation....Pages 400-416
Back Matter....Pages 417-433
....Pages 435-436




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