دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.) سری: Lecture Notes in Computer Science 9407 ISBN (شابک) : 9783319254227, 9783319254234 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 457 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 25 مگابایت
کلمات کلیدی مربوط به کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی و مهندسی نرم افزار: هفدهمین کنفرانس بین المللی روش های مهندسی رسمی، 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