آموزش اعتبارسنجی سیستم (۲): مدل‌سازی رفتار فرآیند - آخرین آپدیت

رفتار ترتیبی Sequential behaviour

• مقدمه MOOC مدل‌سازی رفتار فرآیند Introduction MOOC model process behaviour

• اقدامات، چند‌اقدام، ترکیب جایگزین و ترتیبی Actions, multi-actions, alternative and sequential composition

• اصول فرآیند Process axioms

• مشخصات فرآیند بازگشتی Recursive process specifications

• فرآیندها و اقدامات با داده؛ عملگر شرطی Processes and actions with data; the conditional operator

• عملگر مجموع The sum operator

• بازبینی ساعت زنگ‌دار The alarm clock revisited

انواع داده Data types

• ساختار انواع داده The construction of data types

• مشخصات اعداد پئانو Specification of Peano numbers

• مشخصات اعداد کارآمد Specification of efficient numbers

• مشخصات لیست‌ها Specification of lists

• توابع، مجموعه‌ها و کیسه‌ها Functions, sets and bags

• انواع ساختاریافته Structured types

• کوانتیفایرها Quantifiers

• لینک‌های رقصان کات (Knuth's dancing links) Knuth's dancing links

رفتار موازی Parallel behaviour

• عملگرهای موازی، ارتباطی و اجازه The parallel, communication and allow operators

• عملگر پنهان‌سازی The hiding operator

• الگوریتم تشخیص متقابل پیترسون Peterson's mutual exclusion algorithm