دانلود مقاله از توصیف به زبان Z تا برنامه نمونه تحت pdf
دانلود مقاله از توصیف به زبان Z تا برنامه نمونه تحت pdf دارای 7 صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد دانلود مقاله از توصیف به زبان Z تا برنامه نمونه تحت pdf کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
این پروژه توسط مرکز مرکز پروژه های دانشجویی آماده و تنظیم شده است
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی دانلود مقاله از توصیف به زبان Z تا برنامه نمونه تحت pdf ،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن دانلود مقاله از توصیف به زبان Z تا برنامه نمونه تحت pdf :
سال انتشار: 1386
محل انتشار: پانزدهیمن کنفرانس مهندسی برق ایران
تعداد صفحات: 7
چکیده:
در این مقاله، روشی برای نمونه سازی توصیف های صوری نوشته شده در زبان Z، از طریق تبدیل آن به برنامه ای در یک زبان مبتنی بر مجموعه (SetL2) ارایه می شود. چنین نمونه ای، امکان اعتبار سنجی زودهنگام توصیف های صوری Z را فراهم می کند. رویکرد ما در این کار، بر خلاف اغلب کارهای انجام شده اجرای توصیف به زبان z نیست، لذا محدودیتی برمجموعه عبارات موردد استفاده در بیان توصیف تحمیل نخواهیم کرد. برای چنین تبدیلی، ابتدا توصیف به کمک ابزارهای موجود و با استفاده از شمای ZML به صورت XML در می آید. سپس سند XML بدست امده به کمک شی DOM پیمایش ، تجزیه و از آن برنامه نمونه ای در زبان SetL2 ساخته می شود.
دانلود این فایل
