دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
دانلود کتاب زبان و روش رسمی ساختاری شیء گرا: چهارمین کارگاه بین المللی ، SOFL MSVL 2014 ، لوکزامبورگ ، لوکزامبورگ ، 6 نوامبر 2014 ، مقالات اصلاح شده
مشخصات کتاب
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
ویرایش: 1
نویسندگان: Shaoying Liu. Zhenhua Duan (eds.)
سری: Lecture Notes in Computer Science 8979
ISBN (شابک) : 9783319174037, 9783319174044
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 193
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان و روش رسمی ساختاری شیء گرا: چهارمین کارگاه بین المللی ، SOFL MSVL 2014 ، لوکزامبورگ ، لوکزامبورگ ، 6 نوامبر 2014 ، مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان و روش رسمی ساختاری شیء گرا: چهارمین کارگاه بین المللی ، SOFL MSVL 2014 ، لوکزامبورگ ، لوکزامبورگ ، 6 نوامبر 2014 ، مقالات اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی چهارمین کارگاه بین المللی زبان و روش ساختاری شی گرا، SOFL+MSVL 2014 است که در نوامبر 2014 در لوکزامبورگ، لوکزامبورگ برگزار شد.
12 مقاله ارائه شده در این جلد به دقت بررسی و از بین 20 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی در مورد آزمایش و بازرسی سازماندهی شده اند. بررسی مدل و انیمیشن; آموزش و تأیید؛ و معناشناسی و تحلیل.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
فهرست مطالب
Front Matter....Pages I-VIII
Front Matter....Pages 1-1
An Implementation Framework for Optimizing Test Case Generation Using Model Checking....Pages 3-16
Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification....Pages 17-31
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications....Pages 32-46
Front Matter....Pages 47-47
Unified Bounded Model Checking for MSVL....Pages 49-61
An Over-Approximation Forward Analysis for Nested Timed Automata....Pages 62-80
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process....Pages 81-93
Front Matter....Pages 95-95
Using Alloy in Introductory Courses of Formal Methods....Pages 97-110
Automatic Verification for Later-Correspondence of Security Protocols....Pages 111-126
Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency....Pages 127-144
Front Matter....Pages 145-145
Formal Semantics of Orc Based on TLA $$^+$$ ....Pages 147-163
Incremental Points-to Analysis for Java via Edit Propagation....Pages 164-178
A Memory Management Mechanism for MSVL....Pages 179-188
Back Matter....Pages 189-189
