دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [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
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب 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، در پوهانگ، کره
جنوبی، در اکتبر 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.