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