دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
دانلود کتاب جنبه های رسمی نرم افزار کامپوننت: پانزدهمین کنفرانس بین المللی، FACS 2018، پوهانگ، کره جنوبی، 10 تا 12 اکتبر 2018، مجموعه مقالات
مشخصات کتاب
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
ویرایش: [1st ed.]
نویسندگان: Kyungmin Bae. Peter Csaba Ölveczky
سری: Lecture Notes in Computer Science 11222
ISBN (شابک) : 9783030021450
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: XII, 297
[305]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های رسمی نرم افزار کامپوننت: پانزدهمین کنفرانس بین المللی، FACS 2018، پوهانگ، کره جنوبی، 10 تا 12 اکتبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار کامپوننت: پانزدهمین کنفرانس بین المللی، FACS 2018، پوهانگ، کره جنوبی، 10 تا 12 اکتبر 2018، مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی
جنبه‌های رسمی نرم‌افزار مؤلفه، FACS 2018، در پوهانگ، کره
جنوبی، در اکتبر 2018 است.
14 مقاله کامل همراه با یک دعوت‌شده ارائه شده است. چکیده و یک
مقاله دعوت شده به دقت بررسی و از بین 32 مقاله ارسالی انتخاب
شد. FACS 2016 به این موضوع می پردازد که چگونه می توان از روش
های رسمی برای موفقیت توسعه نرم افزار مبتنی بر مؤلفه و سرویس
گرا استفاده کرد. روش‌های رسمی با پرداختن موفقیت‌آمیز به مسائل
چالش برانگیز مانند مدل‌های ریاضی برای اجزا، ترکیب و انطباق،
یا رویکردهای دقیق برای تأیید، استقرار، آزمایش و صدور
گواهینامه، پایه‌ای برای نرم‌افزار مبتنی بر مؤلفه فراهم
کرده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings from the 15th
International Conference on Formal Aspects of Component
Software, FACS 2018, held in Pohang, South Korea, in October
2018.
The 14 full papers presented together with an invited
abstract and an invited paper were carefully reviewed and
selected from 32 submissions. FACS 2016 is concerned with how
formal methods can be used to make component-based and
service-oriented software development succeed. Formal methods
have provided a foundation for component-based software by
successfully addressing challenging issues such as
mathematical models for components, composition and
adaptation, or rigorous approaches to verification,
deployment, testing, and certification.
