دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
دانلود کتاب زبان رسمی شی گرا ساختاریافته و روش: هشتمین کارگاه بین المللی، SOFL+MSVL 2018، Gold Coast، QLD، استرالیا، 16 نوامبر 2018، مقالات منتخب اصلاح شده
مشخصات کتاب
Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
ویرایش: 1st ed. نویسندگان: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya سری: Lecture Notes in Computer Science 11392 ISBN (شابک) : 9783030136505, 9783030136512 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: 200 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب زبان رسمی شی گرا ساختاریافته و روش: هشتمین کارگاه بین المللی، SOFL+MSVL 2018، Gold Coast، QLD، استرالیا، 16 نوامبر 2018، مقالات منتخب اصلاح شده: علوم کامپیوتر، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، عملکرد و ارزیابی سیستم، تئوری محاسبات، محاسبات Miieux
در صورت تبدیل فایل کتاب Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان رسمی شی گرا ساختاریافته و روش: هشتمین کارگاه بین المللی، SOFL+MSVL 2018، Gold Coast، QLD، استرالیا، 16 نوامبر 2018، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان رسمی شی گرا ساختاریافته و روش: هشتمین کارگاه بین المللی، SOFL+MSVL 2018، Gold Coast، QLD، استرالیا، 16 نوامبر 2018، مقالات منتخب اصلاح شده
این کتاب شامل مجموعه مقالات کارگاهی با داوری کامل هشتمین
کارگاه بین المللی زبان و روش رسمی شی گرا، SOFL+MSVL 2018 است
که در نوامبر 2018 در گلد کوست، QLD، استرالیا برگزار شد.
11 بازبینی شده مقالات کامل موجود در این جلد به دقت بررسی و از
بین 21 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی زیر
سازماندهی شده اند: برنامه نویسی و تست. تایید و تایید؛ مفاهیم؛
و بلاک چین.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed workshop
proceedings of the 8th International Workshop on Structured
Object-Oriented Formal Language and Method, SOFL+MSVL 2018,
held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were
carefully reviewed and selected from 21 submissions. They are
organized in the following topical sections: programming and
testing; verification and validation; semantics; and
blockchain.
فهرست مطالب
Front Matter ....Pages I-VIII
Front Matter ....Pages 1-1
Software Construction Monitoring and Predicting for Human-Machine Pair Programming (Shaoying Liu)....Pages 3-20
Dataset Diversity for Metamorphic Testing of Machine Learning Software (Shin Nakajima)....Pages 21-38
Research Review on Web Service Composition Testing (Zhoujie Du, Huaikou Miao)....Pages 39-51
Front Matter ....Pages 53-53
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation (Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu)....Pages 55-70
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL (Yufei Yin, Shaoying Liu, Yixiang Chen)....Pages 71-88
Model Checking Java Programs with MSVL (Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao)....Pages 89-107
Formal Specification and Verification for Real-Time Scheduling Based on PAR (Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie)....Pages 108-122
Front Matter ....Pages 123-123
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL (Johan van der Berg, Stefan Gruner)....Pages 125-145
On Semantics for Mediator: A Coalgebraic Perspective (Ai Liu, Shun Wang, Yi Li, Meng Sun)....Pages 146-165
Front Matter ....Pages 167-167
A Blockchain Implementation of an Attendance Management System (Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu)....Pages 169-182
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure (Chong Bai)....Pages 183-196
Back Matter ....Pages 197-197
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Beyond What Is Written: Erasmus and Beza as Conjectural Critics of the New Testament (New Testament Tools and Studies)
دانلود کتاب Lost Illusions: The Politics of Publishing in Nineteenth-Century France (Harvard Historical Studies)
دانلود کتاب Yurth Burden
دانلود کتاب Carags Verwandlung
