دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
دانلود کتاب زبان و روش رسمی ساختاری با شیء گرا: سومین کارگاه بین المللی ، SOFL MSVL 2013 ، کوئینستاون ، نیوزیلند ، 29 اکتبر 2013 ، نسخه های تجدید نظر شده
مشخصات کتاب
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
ویرایش: 1
نویسندگان: Shaoying Liu. Zhenhua Duan (eds.)
سری: Lecture Notes in Computer Science 8332 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783319049144, 9783319049151
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 193
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 35,000
کلمات کلیدی مربوط به کتاب زبان و روش رسمی ساختاری با شیء گرا: سومین کارگاه بین المللی ، SOFL MSVL 2013 ، کوئینستاون ، نیوزیلند ، 29 اکتبر 2013 ، نسخه های تجدید نظر شده: منطق و معانی برنامه ها، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان و روش رسمی ساختاری با شیء گرا: سومین کارگاه بین المللی ، SOFL MSVL 2013 ، کوئینستاون ، نیوزیلند ، 29 اکتبر 2013 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان و روش رسمی ساختاری با شیء گرا: سومین کارگاه بین المللی ، SOFL MSVL 2013 ، کوئینستاون ، نیوزیلند ، 29 اکتبر 2013 ، نسخه های تجدید نظر شده
این کتاب شامل مقالات منتخب تجدید نظر شده از سومین کارگاه بین المللی زبان و روش ساختاری شی گرا، SOFL+MSVL 2013، که در کوئینستون، نیوزلند، در اکتبر 2013 برگزار شد. 13 مقاله ارائه شده در این جلد به دقت بررسی شدند. و از بین 22 مورد ارسالی انتخاب شد. آنها در بخش‌های موضوعی آزمایش و تأیید، شبیه‌سازی و بررسی مدل، ابزارهای SOFL، و مشخصات و کاربرد رسمی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice....Pages 3-16
Theory of Test Modeling Based on Regular Expressions....Pages 17-31
Front Matter....Pages 33-33
Integrating Separation Logic with PPTL....Pages 35-47
Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking....Pages 48-61
Formalizing and Implementing Types in MSVL....Pages 62-75
Present-Future Form of Linear Time $$\mu $$ -Calculus....Pages 76-85
Front Matter....Pages 87-87
Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling....Pages 89-103
A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios....Pages 104-117
SOFL Specification Animation with Tool Support....Pages 118-131
Front Matter....Pages 133-133
An Approach to Declaring Data Types for Formal Specifications....Pages 135-153
Detection Method of the Second-Order SQL Injection in Web Applications....Pages 154-165
Applying SOFL to Constructing a Smart Traffic Light Specification....Pages 166-174
Checking Internal Consistency of SOFL Specification: A Hybrid Approach....Pages 175-191
Back Matter....Pages 193-193
