توضیحات
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بینالمللی مهندسی نرمافزار و روشهای رسمی، SEFM 2018 است که به عنوان بخشی از STAF 2018، در تولوز، فرانسه، در ژوئن 2018 برگزار شد.
17 مقاله کامل ارائه شده در این کتاب به دقت بررسی و از بین 58 مورد ارسالی انتخاب شد. مقالات با طیف وسیعی از موضوعات در زمینه های تحقیقاتی زیر سروکار دارند: مشخصات؛ همزمانی؛ تجزیه و تحلیل برنامه؛ بررسی مدل و تأیید زمان اجرا؛ برنامه های کاربردی؛ و تجزیه و تحلیل شکل و استفاده مجدد.
tag : دانلود کتاب مهندسی نرم افزار و روش های رسمی , Download مهندسی نرم افزار و روش های رسمی , دانلود مهندسی نرم افزار و روش های رسمی , Download Software Engineering and Formal Methods Book , مهندسی نرم افزار و روش های رسمی دانلود , buy مهندسی نرم افزار و روش های رسمی , خرید کتاب مهندسی نرم افزار و روش های رسمی , دانلود کتاب Software Engineering and Formal Methods , کتاب Software Engineering and Formal Methods , دانلود Software Engineering and Formal Methods , خرید Software Engineering and Formal Methods , خرید کتاب Software Engineering and Formal Methods ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.