مجله علمی تفریحی بیبیس
0

دانلود کتاب بررسی زمان اجرا اپلیکیشن در جاوا

بازدید 409
  • عنوان: Runtime Verification/ A Hands-On Approach in Java
  • نویسنده: Christian Colombo, Gordon J. Pace
  • حوزه: برنامه نویسی جاوا
  • سال انتشار: 2022
  • تعداد صفحه: 209
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 2.91 مگابایت

تأیید زمان اجرا بیش از 20 سال است که با حجم قابل توجهی از ادبیات و ابزارهای متعدد موجود است. در چند دهه ای که در زمینه تأیید زمان اجرا کار می کنیم، شاهد رشد این زمینه بوده ایم و به آن کمک کرده ایم: زیربنای نظری، تکنیک های تأیید جدید، استراتژی های ابزار دقیق جدید، توسعه ابزارها و کاربرد آنها در موارد صنعتی. مطالعات. تکنیک‌های اصلاح‌شده در این سال‌های گذشته برای پذیرش در صنعت آماده شده‌اند، اما، در حالی که می‌توان مرورهای نظری مختلف و مقالات آکادمیک را پیدا کرد، یک کتابچه راهنمای عملی که خواننده را از دانش صفر به دانش عملی کافی برای در نظر گرفتن استفاده از آن در صنعت راهنمایی می‌کند. هنوز به شدت گم شده است با توجه به اینکه تأیید زمان اجرا چقدر صنعت پسند است، فقدان چنین متنی تعجب آور و مایه تاسف است.

Runtime verification has been around for over 20 years, with a substantial body of literature and numerous tools available. In the couple of decades we have been working within the area of runtime verification, we have witnessed and contributed to the growth of the field: the theoretical underpinnings, new verification techniques, new instrumentation strategies, development of tools, and their application in industrial case studies. The techniques refined over these past years feel ripe for adoption in industry and yet, while one can find various theoretical overviews and academic articles, a hands-on manual which guides the reader from zero knowledge to sufficient practical knowledge required to consider its use in industry is still sorely missing. Given how industry-friendly runtime verification is, lack of such a text is surprising and regretful.

این کتاب را میتوانید بصورت رایگان از لینک زیر دانلود نمایید.

Download: Runtime Verification

نظرات کاربران

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید