‫تولید برنامه از توصیف رسمی برنامهها‬
‫تمرین ‪( 1‬مهلت ارسال تا ‪ 52‬اسفند ‪)1131‬‬
‫‪+‬‬
‫توضیحاتی در مورد نحوه ارسال تمرینها‬
‫‪ 1‬اسفند ‪1131‬‬
‫‪ 1‬تمرین‬
‫‪ .1‬توصیف رسمی یک برنامه ساده (میتواند توصیف رسمی برنامه اول درس توصیف و وارسی‬
‫برنامه باشد) را در نظر گرفته و موانع کلی قابلیت اجرا در آن و راهحلهای پیشنهادی را‬
‫بررسی کنید‪.‬‬
‫‪ .2‬تحقیقی در مورد یکی از ایدههای برقراری قابلیت اجرای مستقیم توصیف رسمی(بهتر است‬
‫دارای ابزار باشد) ارائه کنید‪ .‬این تحقیق باید حداکثر در ‪ 5‬صفحه و شامل ایدههای کلی‬
‫باشد و نیازی به ذکر جزئیات نیست‪ .‬نمونهای از مراجع را در انتها میتوانید ببنید‪.‬‬
‫‪2‬‬
‫نحوه ارسال تمرینها‬
‫‪ .1‬تمرینها به صورت گروهی( گروههای ‪ 2‬تا ‪ 3‬نفره) است ( تا تاریخ ‪ 33/12/7‬افراد گروه را‬
‫به ‪ [email protected]‬ایمیل بزنید)‪.‬‬
‫‪ .2‬تمرینها باید در قالب ‪ PDF‬باشد و تمرین دستنویس به هیچ عنوان قابل قبول نیست‪.‬‬
‫‪ .3‬تاخیر در ارسال تمرینها از یک روز تا یک هفته موجب کسر ‪ 55‬درصد نمره و پس از یک‬
‫هفته موجب از دست رفتن کل نمره میشود‪.‬‬
‫‪ .4‬تمرینها را به ‪ [email protected]‬ارسال کنید‪ .‬موضوع این ایمیل‬
‫را به صورت زیر انتخاب کنید‪:‬‬
‫‪PFS_93_A1_GroupNumber‬‬
‫‪ ،GroupNumber‬شماره گروه را مشخص میکند‪.‬‬
‫‪ 3‬مراجع‬
‫‪1. Liu, S. and Wang, H., ”An automated approach to specification animation for‬‬
‫‪validation”, Journal of Systems and Software, 2007.‬‬
‫‪2. Plagge, D. and Leuschel, M., ”Validating Z specifications using the ProB animator and‬‬
‫‪model checker”, Proceedings of the 6th international conference on Integrated formal‬‬
‫‪methods, 2007‬‬
‫‪3. Salman, Omar. ”Animation of Z Specifications by Translating to Prolog”.‬‬
‫‪4. West, M. M. (1988), ”Z/PROLOG Translator”, M.Sc. Dissertation, University of‬‬
‫‪Bradford.‬‬
5. Zin, A. M. (1993), ”ZFDSS: A Formal Development Support System Based on the
Liberal Approach”, Ph.D. Thesis, Dept. of Comp. Science, University of Nottingham,
UK.
6. Hewitt, M. A.; O’Halloran, C. M. and Sennett, C. T. (1997),”Experiences with PiZA,
an Animator for Z”, Proc. 11th Annual Z Users Meetings, Workshops in Computing:
Springer-Verlag, LNCS 1212.
7. http://czt.sourceforge.net/zlive/