‫توصیف و وار سی ربانهم اه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪93/06/24 :‬‬
‫جدول زمانبندی ترم‪ :‬اول ‪93-94‬‬
‫تاریخ ویرایش(‪93/09/04:)4‬‬
‫مدرس‪:‬سید حسن میریان‬
‫مرجع‪Using Z: Specification, refinement, and proof, Jim Woodcock and Jim Davies, Prentice Hall, 1996 :‬‬
‫سایت کتاب‪/http://www.usingz.com :‬‬
‫هفته‬
‫‪۱‬‬
‫‪۲‬‬
‫‪۳‬‬
‫تاریخ‬
‫عنوان‬
‫‪06/29‬‬
‫چرا توصیف صوری‬
‫‪06/31‬‬
‫چیستی یا چگونگی؟‬
‫‪07/05‬‬
‫‪)۱‬مقدمه(‬
‫‪07/07‬‬
‫‪)۲،۳‬جبر مسندات(‬
‫‪07/12‬‬
‫‪)۴‬تساوی(‬
‫یکشنبه ‪07/13‬‬
‫‪۴‬‬
‫‪۶‬‬
‫‪۷‬‬
‫‪07/14‬‬
‫‪)۵‬مجموعهها(‬
‫‪07/19‬‬
‫‪)۵‬مجموعهها(‬
‫پیشنهاد سه برنامه‬
‫‪07/26‬‬
‫‪)۶‬تعریف (‬
‫‪07/28‬‬
‫‪)۷‬رابطهها(‬
‫‪08/03‬‬
‫‪)۸‬توابع(‬
‫‪08/05‬‬
‫‪)۹‬دنبالهها(‬
‫‪08/10‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪(1‬استفاده صنعتی از روشهای صوری‪ ،‬پوررضا‪،‬اردوخانی‪،‬لطفی)‬
‫‪۳‬‬
‫)؟‪،‬؟(‪۲‬‬
‫نهایی کردن سه برنامه‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫‪08/12‬‬
‫سه شنبه‬
‫‪08/13‬‬
‫تعطیل(عاشورا)‬
‫‪۸‬‬
‫‪08/17‬‬
‫‪)۱۱‬شِما(‬
‫‪08/19‬‬
‫‪)۱۱‬شِما(‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫‪۱۲‬‬
‫‪ ،Alloy(4‬بدیهی‪ ،‬مصطفی زاده)‬
‫‪5‬‬
‫‪08/24‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/26‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪ ،csp(6‬محسنی‪ ،‬فدوی‪ ،‬ترکمن)‬
‫‪09/01‬‬
‫مثال‬
‫‪ ،czt(7‬مهدیه‪ ،‬ورمزیار‪ ،‬پورعابدینی)‬
‫‪09/03‬‬
‫مثال‬
‫‪)۱‬تحویل(‬
‫‪09/08‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫‪09/10‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪ ،Design by contract(8‬خانی)‬
‫‪09/15‬‬
‫‪)۱۴‬پیش شرط و پیششرط و پس شرط صریح (‬
‫‪(9‬تعیین نشده‪ ،‬نادری‪ ،‬لیاقت)‬
‫‪09/17‬‬
‫‪)۱۵‬اثبات(‬
‫‪09/24‬‬
‫‪09/29‬‬
‫تعطیل(اربعین)‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫‪)۱۵‬اثبات(‬
‫‪)۲‬تحویل(‬
‫‪ ،Object Z(10‬بورونی‪ ،‬مقیمی‪ ،‬عباسی)‬
‫‪ ،Horn Clause(11‬ابتهاج‪ ،‬فرزانه‪ ،‬درخشان فر)‬
‫یکشنبه ‪09/30‬‬
‫‪10/01‬‬
‫‪6‬‬
‫‪7‬‬
‫‪09/24‬‬
‫‪۱۴‬‬
‫)؟؛؟(‪4 3‬‬
‫‪ ،uml2fm(5‬آق‪ ،‬سیفی)‬
‫‪09/22‬‬
‫‪۱۳‬‬
‫‪1‬و‪2‬‬
‫تعطیل( عید سعید غدیر)‬
‫تعطیل(تاسوعا)‬
‫‪۹‬‬
‫ارایه‬
‫تعطیل( عید سعید قربان)‬
‫تعیینگروه‬
‫‪07/21‬‬
‫‪۵‬‬
‫تمرینوپروژه‬
‫امتحان‬
‫تعطیل(رحلت رسول اکرم)‬
‫‪)۱۶‬پاالیش(‬
‫سه شنبه‬
‫‪۱۰/۰۲‬‬
‫‪۱۵‬‬
‫‪10/06‬‬
‫‪)۱۶‬پاالیش(‬
‫‪ ،VDM(12‬احمدزاده اصل‪ ،‬براانی)‬
‫تعطیل(شهادت امام رضا(ع))‬
‫‪10/08‬‬
‫‪)۱۶‬پاالیش(‬
‫‪(1۳‬؟‪ ،‬ابراهیمی)‬
‫‪10/13‬و‪10/15‬‬
‫‪10/22‬‬
‫تعطیل(خارج از تقویم آموزشی )‬
‫‪10/08‬‬
‫‪۸‬‬
‫‪ ،B Method(۱۴‬هاشمی‪،‬کمالی)‬
‫‪۱۶‬‬
‫‪17‬‬
‫)امتحان پایان ترم(‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪)۳‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬