کتاب معماری سیستم‌های قابل‌اعتماد با ALGOL 68RS: از مدل‌سازی تا پیاده‌سازی با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

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

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

عنوان دوره: دوره معماری سیستم‌های قابل‌اعتماد با ALGOL 68RS: از مدل‌سازی تا پیاده‌سازی

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

موضوع میانی: طراحی سیستم‌های قابل‌اعتماد با ALGOL 68RS

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

• 1. جایگاه ALGOL 68RS در معماری سیستم‌های قابل‌اعتماد
• 2. از نیازمندی‌های سیستم تا نقشه ماژول‌ها
• 3. محدوده زبان، محدودیت‌های RS و انتخاب‌های طراحی
• 4. ساختار واحد برنامه و واحدهای ترجمه
• 5. نوشتار، واژه‌ها و قواعد پایه نحو
• 6. چرخه ساخت، کامپایل و آزمون پروژه
• 7. ابرساختار ابرازها، واحدها و ارزش‌ها
• 8. modeها و اصل بررسی قوی نوع‌ها
• 9. نوع‌های پایه و دامنه مقادیر
• 10. کاراکترها، بایت‌ها و نمایش داده‌های بیتی
• 11. اعلان هویت‌ها، نام‌گذاری و قلمروها
• 12. مقادیر، انتساب و تغییرپذیری
• 13. ارجاع‌ها، مکان‌ها و محدودیت‌های ذخیره‌سازی
• 14. آرایه‌ها، rowها و پیمایش داده‌ها
• 15. برش‌ها و زیرمجموعه‌های داده‌ای
• 16. STRUCT و طراحی رکوردهای دامنه‌محور
• 17. UNION و مدل‌سازی حالت‌های متغیر
• 18. PROC و انتزاع رفتار
• 19. پارامترها، نتیجه‌ها و قرارداد فراخوانی
• 20. بازگشت، فراخوانی و محدودیت‌های اجرا
• 21. عملگرهای سفارشی، اولویت و انجمن‌پذیری
• 22. تبدیل‌ها، coerces و تبدیل صریح
• 23. شرط‌ها و انتخاب مسیر اجرا
• 24. حلقه‌های شمارشی و شرطی
• 25. CASE و طراحی چندشاخه
• 26. مدیریت خطا، وضعیت‌های غیرعادی و بازیابی
• 27. فرمت‌ها و ورودی/خروجی ساخت‌یافته
• 28. فایل‌ها، کانال‌ها و منابع بیرونی
• 29. تفکیک ماژول‌ها و مرزهای مسئولیت
• 30. رابط‌ها، پیمانه‌های جداگانه و ترکیب برنامه
• 31. پنهان‌سازی اطلاعات و کاهش وابستگی
• 32. انواع داده انتزاعی و قراردادهای عملیاتی
• 33. مدل‌سازی حالت، گذارها و پیش‌شرط‌ها
• 34. قیدهای پایداری و اعتبارسنجی درون‌برنامه‌ای
• 35. لایه‌بندی معماری و جریان کنترل
• 36. مالکیت منابع، زمان‌بندی و پاک‌سازی
• 37. محدودیت‌های حافظه و چیدمان داده
• 38. عملیات بیتی و نگاشت داده به سخت‌افزار
• 39. کدگذاری داده‌های بیرونی و سازگاری نمایش
• 40. اجرای قطعی، زمان‌بندی و پاسخ‌گویی
• 41. مدل‌سازی رویدادها و تعامل اجزای هم‌زمان
• 42. محدودیت‌های هم‌زمانی و الگوهای جایگزین
• 43. حفاظت در برابر خطا و مهار خرابی
• 44. راهبردهای بازیابی و ادامه کار
• 45. طراحی برای آزمون‌پذیری
• 46. آزمون واحد، یکپارچه‌سازی و موارد مرزی
• 47. تحلیل کارایی، پیچیدگی و اندازه داده
• 48. قابلیت حمل میان پیاده‌سازی‌های ALGOL 68RS
• 49. مستندسازی رابط‌ها و تصمیم‌های معماری
• 50. بازطراحی و تکامل سیستم‌های قدیمی
• 51. مطالعه موردی: حلقه کنترل تعبیه‌شده
• 52. مطالعه موردی: سامانه اکتساب داده
• 53. مطالعه موردی: پردازشگر فرمان
• 54. مطالعه موردی: لایه ارتباط با دستگاه
• 55. پروژه پایانی: طراحی یک سیستم کامل با ALGOL 68RS