‫توصیف و وار سی ربانهماه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪93/06/24 :‬‬
‫جدول زمانبندی ترم‪ :‬اول ‪93-94‬‬
‫تاریخ ویرایش(‪93/07/30:)2‬‬
‫مدرس‪ :‬سید حسن میریان‬
‫مرجع‪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‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫)؟‪،‬؟(‪۲‬‬
‫سه شنبه‬
‫‪08/13‬‬
‫‪۸‬‬
‫‪08/17‬‬
‫‪۱۲‬‬
‫‪۱۳‬‬
‫‪۱۴‬‬
‫‪۱۵‬‬
‫‪ ،Alloy(4‬بدیهی‪ ،‬مصطفی زاده)‬
‫تعطیل(عاشورا)‬
‫‪ ،uml2fm(5‬آق‪ ،‬سیفی)‬
‫‪08/19‬‬
‫‪)۱۱‬شِما(‬
‫‪08/24‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/26‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪5‬‬
‫‪ ،csp(6‬محسنی‪ ،‬فدوی‪ ،‬ترکمن)‬
‫‪09/01‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪09/03‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪)۱‬تحویل(‬
‫‪09/08‬‬
‫‪)۱۴‬پیش شرط(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫‪09/10‬‬
‫‪)۱۴‬پیش و پسشرط صریح(‬
‫‪09/15‬‬
‫مثال‬
‫‪09/17‬‬
‫)؟؛؟(‪4 3‬‬
‫تعطیل(تاسوعا)‬
‫‪)۱۱‬شِما(‬
‫‪۱۱‬‬
‫‪1‬و‪2‬‬
‫‪(1‬استفاده صنعتی از روشهای صوری‪ ،‬پوررضا‪،‬اردوخانی‪،‬لطفی)‬
‫‪08/12‬‬
‫‪۱۰‬‬
‫ارایه‬
‫تعطیل( عید سعید قربان)‬
‫‪07/21‬‬
‫‪۹‬‬
‫تمرینوپروژه‬
‫امتحان‬
‫‪ ،czt(7‬مهدیه‪ ،‬ورمزیار‪ ،‬پورعابدینی)‬
‫‪6‬‬
‫‪ ،Design by contract(8‬خانی)‬
‫)؟‪،‬؟(‪۹‬‬
‫‪)۱۵‬اثبات(‬
‫‪09/22‬‬
‫‪7‬‬
‫تعطیل(اربعین)‬
‫‪09/24‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫)؟‪،‬؟(‪۱۰‬‬
‫‪09/29‬‬
‫‪)۱۶‬پاالیش(‬
‫‪)۲‬تحویل(‬
‫)؟‪،‬؟(‪۱۱‬‬
‫یکشنبه ‪09/30‬‬
‫‪10/01‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/06‬‬
‫‪)۱۶‬پاالیش(‬
‫تعطیل(رحلت رسول اکرم)‬
‫‪10/08‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/13‬و‪10/15‬‬
‫‪10/22‬‬
‫تعطیل(خارج از تقویم آموزشی )‬
‫‪۱۶‬‬
‫‪17‬‬
‫)امتحان پایان ترم(‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪8‬‬
‫)؟‪،‬؟(‪12‬‬
‫‪)۳‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬