رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف
Publish place: 10th Annual Conference of Computer Society of Iran
Publish Year: 1383
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 848
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI10_155
تاریخ نمایه سازی: 25 آذر 1390
Abstract:
هدف از توصیف بیان دقیق و بدون ابهام نیازمندیهای نرم افزار با استفاده از زبان ریاضی است وجود عدم قطعیت در توصیف صوری به دلیل سطح تجرید مورد نیاز در توصیف نرم افزار و نیز توصیف سیستمهای همروند اجتناب ناپذیر است به همین دلیل بیان عدم قطعیت و معنای ساختارهای غیرحتمی در توصیف صوری اهمیت ویژه ای دارد دراین پژوهش رهیافتی برای استفاده از ساختارهای غیرحتمی و بیان معنای آنها در توصیفهای صوری تئوری انواع مارتین لوف ارایه خواهد شد استفاده ازا ین ساختارهای پیشنهادی موجب میشود که توصیف گر بتواند ضمن توصیف صریح عدم قطعیت در تئوریانواع اثرات آن را به طور مستقیم در برنامه استخراج شده از توصیف صوری مشاهده نماید.
Keywords:
Authors
حسن حقیقی
دانشجوی دکتری دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
سیدحسن میریان حسین آبادی
استادیار دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :