دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Radu Calinescu. Bernhard Rumpe (eds.)
سری: Lecture Notes in Computer Science 9276
ISBN (شابک) : 9783319229683, 9783319229690
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 371
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
کلمات کلیدی مربوط به کتاب مهندسی نرم افزار و روش های رسمی: سیزدهمین کنفرانس بین المللی ، SEFM 2015 ، یورک ، انگلستان ، 7-11 سپتامبر 2015. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: سیزدهمین کنفرانس بین المللی ، SEFM 2015 ، یورک ، انگلستان ، 7-11 سپتامبر 2015. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بینالمللی مهندسی نرمافزار و روشهای رسمی، SEFM 2015، که در شهر یورک، انگلستان، در سپتامبر 2015 برگزار شد، تشکیل میشود.
17 مقاله کامل به همراه 2 مقاله دعوت شده ارائه شده است. و 6 مقاله کوتاه به دقت بررسی و از بین 96 مقاله ارسالی انتخاب شدند. موضوعات مورد علاقه شامل جنبههای زیر از مهندسی نرمافزار و روشهای رسمی بود: تأیید برنامه، آزمایش، گواهی، مشخصات و اثبات رسمی، آزمایش و بررسی مدل، برنامهریزی، مدلسازی، و تغییر مدل.This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.Front Matter....Pages I-XI
Front Matter....Pages 1-1
Reasoning about Separation Using Abstraction and Reification....Pages 3-19
An Interface Theory for the Internet of Things....Pages 20-34
Front Matter....Pages 35-35
Learning Assertions to Verify Linked-List Programs....Pages 37-52
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications....Pages 53-68
Specification and Verification of Atomic Operations in GPGPU Programs....Pages 69-83
History-Based Verification of Functional Behaviour of Concurrent Programs....Pages 84-98
Investigating Instrumentation Techniques for ESB Runtime Verification....Pages 99-107
Towards Domain Refinement for UML/OCL Bounded Verification....Pages 108-114
Front Matter....Pages 115-115
Efficient Testing of Different Loop Paths....Pages 117-131
Model-Based Robustness Testing in Event-B Using Mutation....Pages 132-147
On the Testability of Properties Patterns....Pages 148-155
Front Matter....Pages 157-157
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning....Pages 159-174
Formal Analysis of Proactive, Distributed Routing....Pages 175-189
Certification of Distributed Algorithms Solving Problems with Optimal Substructure....Pages 190-195
Front Matter....Pages 197-197
From Failure to Proof: The ProB Disprover for B and Event-B....Pages 199-214
Formalizing a Secure Foreign Function Interface....Pages 215-230
A Formal Study of Backward Compatible Dynamic Software Updates....Pages 231-248
Front Matter....Pages 249-249
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking....Pages 251-267
Techniques for Memory-Efficient Model Checking of C and C++ Code....Pages 268-282
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP....Pages 283-290
Front Matter....Pages 291-291
Task Planning of Cyber-Human Systems....Pages 293-309
Generating None-Plans in Order to Find Plans....Pages 310-324
Front Matter....Pages 325-325
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter....Pages 327-343
From Featured Transition Systems to Modal Transition Systems with Variability Constraints....Pages 344-359
An Extensible Operational Semantics for UML Activity Diagrams....Pages 360-368
Back Matter....Pages 369-369