اکسپرس 24
کتاب ساخت نرم‌افزار قابل اعتماد با Active Oberon: از طراحی ایمن تا آزمون و نگهداری

کتاب ساخت نرم‌افزار قابل اعتماد با Active Oberon: از طراحی ایمن تا آزمون و نگهداری

تگ‌ها: Active Oberon assertions exception handling formal verification Oberon software reliability آزمون نرم‌افزار برنامه‌نویسی ایمن برنامه‌نویسی ماژولار زبان‌های سیستمی عیب‌یابی مهندسی نرم‌افزار نرم‌افزار قابل اعتماد

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

پرداخت اقساطی
در صورت خرید اقساطی هر قسط: 62,488 تومان
۴ قسط ماهانه. بدون سود، چک و ضامن.
پرداخت اقساطی با دیجی‌پی پرداخت اقساطی با ترب‌پی

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره ساخت نرم‌افزار قابل اعتماد با Active Oberon: از طراحی ایمن تا آزمون و نگهداری

موضوع کلی: مهندسی نرم‌افزار قابل اعتماد

موضوع میانی: برنامه‌نویسی سیستمی با Active Oberon

📋 سرفصل‌های دوره

  • 1. چرا نرم‌افزار قابل اعتماد می‌سازیم؟
  • 2. اصول طراحی نرم‌افزار قابل اعتماد
  • 3. Active Oberon و فلسفه زبان
  • 4. نقش کامپایلر و کتابخانه استاندارد
  • 5. راه‌اندازی محیط توسعه Active Oberon
  • 6. اولین برنامه و چرخه ساخت و اجرا
  • 7. فایل‌ها و واحدهای کامپایل
  • 8. شناسه‌ها، واژه‌های کلیدی و ساختار متن
  • 9. نوع‌های داده و مقدارهای ثابت
  • 10. متغیرها، تخصیص و محدوده
  • 11. عملگرها و عبارت‌ها
  • 12. شرط‌ها و حلقه‌ها
  • 13. آرایه‌ها و رشته‌ها
  • 14. آرایه‌های باز و ورودی‌های دنباله‌ای
  • 15. ساختارهای record و داده‌های ترکیبی
  • 16. تخصیص پویا و ساختارهای داده پویا
  • 17. مجموعه‌ها و فایل‌ها
  • 18. توابع و رویه‌ها
  • 19. انتقال پارامترها و قراردادهای مقدار
  • 20. بازگشتی و وضعیت محلی
  • 21. ماژول‌ها و مرزهای عمومی
  • 22. واردکردن و صادرکردن ماژول‌ها
  • 23. وابستگی‌ها و گراف کامپایل
  • 24. مقداردهی و پایان‌یابی ماژول‌ها
  • 25. کپسول‌سازی و پنهان‌سازی داده
  • 26. طراحی API ماژول‌ها
  • 27. کتابخانه‌های قابل‌بازاستفاده
  • 28. ماژول‌های عمومی و پارامتریک
  • 29. مدل‌سازی نوع‌های انتزاعی
  • 30. داده‌های انتزاعی و عملیات مجاز
  • 31. قوانین تبدیل و اعتبار نوع‌ها
  • 32. قراردادهای برنامه‌نویسی
  • 33. پیش‌شرط‌ها، پس‌شرط‌ها و ویژگی‌ها
  • 34. استفاده از ASSERT برای بررسی قراردادهای运行时
  • 35. استثنائ‌ها و سلسله‌مراتب خطا
  • 36. انتخاب سطح برخورد با خطا
  • 37. انتشار کنترل‌شده استثنائ‌ها
  • 38. اعتبارسنجی ورودی‌ها
  • 39. برنامه‌نویسی دفاعی
  • 40. طراحی قطعی و رفتار قابل‌پیش‌بینی
  • 41. مدیریت منابع و حافظه
  • 42. بررسی محدوده و ایمنی حافظه
  • 43. ورودی و خروجی فایل
  • 44. استفاده از کتابخانه استاندارد
  • 45. سازمان‌دهی بسته‌ها و وابستگی‌ها
  • 46. ثبت خطا و ردیابی اجرا
  • 47. برنامه آزمون و راهبرد پوشش
  • 48. آزمون واحد
  • 49. هارنس آزمون و داده آزمایش
  • 50. طراحی نمونه‌آزمون‌ها
  • 51. ارزش‌های مرزی و هم‌ارزی
  • 52. آزمون‌های ویژگی
  • 53. آزمون مبتنی بر مدل
  • 54. پوشش کد و تحلیل نتایج
  • 55. آزمون رگرسیون و تکرارپذیری نتایج
  • 56. تزریق خطا و آزمون شرایط نادر
  • 57. عیب‌یابی ساختاری
  • 58. پروفایلینگ و بهینه‌سازی بدون کاهش قابلیت اطمینان
  • 59. مستندسازی فنی و تصمیم‌های طراحی
  • 60. مشخص‌سازی رسمی رفتار
  • 61. الزامات اثبات و گواه‌های درستی
  • 62. حفظ ویژگی‌ها و اثبات توقف
  • 63. مدل‌سازی و بررسی مدل
  • 64. آزمون یکپارچه‌سازی و سیستم
  • 65. مطالعه موردی: طراحی معماری یک ماژول پایدار
  • 66. پیاده‌سازی مطالعه موردی
  • 67. اعتبارسنجی و تثبیت مطالعه موردی
  • 68. نگهداری، بازآرایی و تکامل ایمن
  • 69. فهرست کنترل انتشار نرم‌افزار قابل اعتماد
  • 70. پروژه پایانی: ساخت و آزمون یک ماژول قابل اعتماد

📚 محتوای این محصول آموزشی (پکیج کامل)

💡 این محصول یک نسخهٔ کامل و جامع است

تمامی محتوای آموزشی این کتاب در قالب یک بسته‌ی کامل و یکپارچه ارائه می‌شود و شامل تمام نسخه‌ها و فایل‌های موردنیاز برای یادگیری است.

🎁 محتویات کامل بسته دانلودی

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل کتاب‌ها، تمرین‌ها و خودآزمایی .

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود و نسخهٔ چاپی ندارد.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های کتاب همانجا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.