‫توصیف و وار سی ربانهم اه(‪)۴۰-۷۴۵‬‬
‫تاریخ تهیه‪94/06/21 :‬‬
‫جدول زمانبندی ترم‪ :‬اول ‪9۴-9۵‬‬
‫تاریخ ویرایش(‪94/08/12:)1‬‬
‫مدرس‪:‬سید حسن میریان‬
‫مرجع‪Using Z: Specification, refinement, and proof, Jim Woodcock and Jim Davies, Prentice Hall, 1996 :‬‬
‫سایت کتاب‪/http://www.usingz.com :‬‬
‫هفته‬
‫‪۱‬‬
‫تاریخ‬
‫عنوان‬
‫‪06/28‬‬
‫چرا توصیف صوری‬
‫‪06/30‬‬
‫چیستی یا چگونگی؟‬
‫پنج شنبه ‪07/02‬‬
‫‪۲‬‬
‫‪07/04‬‬
‫‪)۱‬مقدمه(‬
‫‪07/06‬‬
‫‪)۲،۳‬جبر مسندات(‬
‫جمعه‬
‫‪07/10‬‬
‫‪۳‬‬
‫‪07/1۱‬‬
‫‪07/1۳‬‬
‫‪)۵‬مجموعهها(‬
‫‪۵‬‬
‫تعطیل( عید سعید غدیر)‬
‫‪07/18‬‬
‫‪)۶‬تعریف (‬
‫‪07/20‬‬
‫‪)۷‬رابطهها(‬
‫‪07/25‬‬
‫‪)۸‬توابع(‬
‫‪07/27‬‬
‫‪)۹‬دنبالهها(‬
‫تعیینگروه‬
‫پیشنهاد سه برنامه‬
‫‪۸‬‬
‫‪۹‬‬
‫‪۱۰‬‬
‫‪۱۱‬‬
‫تعطیل(تاسوعا)‬
‫تعطیل(عاشورا)‬
‫‪08/04‬‬
‫‪)۱۰‬نوع آزاد(‬
‫‪08/۰۹‬‬
‫‪)۱۱‬شِما(‬
‫‪(۴،۵،۶،۷،۸)۱‬‬
‫‪08/1۱‬‬
‫‪)۱۱‬شِما(‬
‫‪08/1۶‬‬
‫‪)۱۱‬شِما(‬
‫‪08/1۸‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/2۳‬‬
‫‪)۱۲‬عملیات روی شِماها(‬
‫‪08/2۵‬‬
‫مثال‬
‫‪(۵‬؟و؟)‬
‫‪(۶‬اصالنیان‪ ،‬فالح نژاد‪ -‬پتری نت)‬
‫‪۵‬‬
‫‪0۸/۳۰‬‬
‫مثال‬
‫‪09/0۲‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪09/0۷‬‬
‫‪)۱۳‬ارتقاء(‬
‫‪09/۰۹‬‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪09/1۶‬‬
‫‪(۷‬نصرتی‪،‬یونسی‪ -‬همروندی)‬
‫‪)۱‬تحویل(‬
‫‪(۹،۱۰،۱۱،۱۲)۲‬‬
‫تعطیل(اربعین)‬
‫‪)۱۳‬ارتقاء چندگانه(‬
‫‪09/2۱‬‬
‫تعطیل(شهادت امام رضا(ع))‬
‫‪۱۵‬‬
‫‪(۹‬نادری‪ ،‬حسن زاده‪ ،‬چاهیان‪)ObjZ -‬‬
‫‪)۱۴‬پیش شرط و پیششرط و پس شرط صریح (‬
‫پنج شنبه ‪09/۱۹‬‬
‫‪۱۴‬‬
‫‪09/2۳‬‬
‫‪)۱۵‬اثبات(‬
‫‪(۱۳،۱۴،۱۵)۳‬‬
‫‪09/2۸‬‬
‫‪)۱۵‬اثبات(‬
‫‪)۲‬تحویل(‬
‫‪۰۹/۳۰‬‬
‫‪)۱۵‬اثبات(‬
‫‪10/0۵‬‬
‫‪)۱۶‬پاالیش(‬
‫‪10/0۷‬‬
‫‪)۱۶‬پاالیش(‬
‫سه شنبه ‪۱۰/۰۸‬‬
‫‪10/1۲‬و‪10/1۴‬‬
‫‪10/22‬‬
‫‪(۸‬؟و؟)‬
‫‪۶‬‬
‫تعطیل(رحلت حضرت رسول اکرم(ص))‬
‫‪۱۳‬‬
‫‪(۴‬فاضلینیا‪،‬براتی‪)Alloy -‬‬
‫‪۴‬‬
‫چهارشنبه ‪09/۱۱‬‬
‫‪۱۲‬‬
‫‪(۲‬ریواده‪،‬الیاسی‪،‬بهرامی‪-‬کاربردهای صنعتی)‬
‫‪۳‬‬
‫نهایی کردن سه برنامه‬
‫‪09/1۴‬‬
‫‪۲‬‬
‫‪(۳‬؟‪.‬؟)‬
‫‪08/۰۲‬‬
‫‪۷‬‬
‫‪۱‬‬
‫‪(۱‬؟‪.‬؟)‬
‫جمعه ‪08/۰۱‬‬
‫‪۶‬‬
‫ارایه‬
‫تعطیل( عید سعید قربان)‬
‫‪)۴‬تساوی(‬
‫‪۴‬‬
‫تمرینوپروژه‬
‫امتحان‬
‫‪۸‬‬
‫‪(۱۰‬اعتمادی‪،‬توکلی‪)State Chart-‬‬
‫‪(۱۱‬؟و؟)‬
‫‪۹‬‬
‫تعطیل(والدت حضرت رسول اکرم(ص))‬
‫تعطیل(کالس جبرانی )‬
‫‪۱۶‬‬
‫‪17‬‬
‫)امتحان پایان ترم(‬
‫حضور دانشجویان در تمام جلسات درس ضروری است‪.‬‬
‫‪)۳‬تحویل(‬
‫نمره نهایی(‪ = )۱۱۰‬پایان ترم(‪ +)۵۵‬تمرین(‪ + )۱۵‬پروژه (‪ + )۱۵‬امتحانک(‪ +)۱۵‬ارایه(‪)۱۰‬‬
‫پاسخ تمرینها در روزهای معین شده باید تحویل داده شود‪.‬‬
‫تمرینها در تاریخهای یاد شده از طریق اینترنت و یا اتاق تکثیر قابل دریافت هستند‪.‬‬
‫هر تمرین باید به طور جداگانه و گزارش پروژه روی کاغذ ‪ ،A4‬یکرو‪ ،‬با رعایت کلیه نکات ارایه‪ ،‬حاشیه مناسب از طرفین و باال و پایین صفحه‬
‫حتیاالمکان تایپ شده‪ ،‬با درج مشخصات دانشجو روی تمام برگها تحویل گردد‪ .‬نیازی به استفاده از شیرازه و جلد نیست و‬
‫کافیست تنها گوشه سمت راست منگنه شود‪.‬‬
‫هر تمرین باید جداگانه تحویل شده و روی تمام برگها مشخصات دانشجو نوشته شده باشد‪.‬‬
‫پایان ترم‬