کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
محل انتشار: چهاردهمین کنفرانس دانشجویی مهندسی برق کشور
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,590
فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE14_144
تاریخ نمایه سازی: 31 مرداد 1390
چکیده مقاله:
روشهای صوری زیربنای محیطهایخاص می باشد جهت مدلهایی که کامل تر و سازگارتر بوده و نسبت به روشهای سنتی و شی گرا از ابهام کمتری برخوردارند تسهیلات توصیفی تئوری مجموعه ها و نشانه گذاریهای منطقی یک مهندس نرم افزار را قادر می سازد که جملاتی شفاف از حقایق و نیازمندی ها ارائه کند بسیاری ازروشهای طراحی و مستندسازی از تکنیکهای غیرصوری استفاده می کنند روشهای صوری به مهندسی نرم افزار امکان میدهند توصیفی از سیستم ایجاد نماید که کامل تر یکنواخت تر و غیرمبهم تر از روشهای قرار دادی یا شی گرا است دراین مقاله ابتدا به بررسی روشهای صوری و سپس به معرفی زبانهای صوری می پردازیم دراین مقاله تاکید برروی زبان توصیف صوری z می باشد
کلیدواژه ها:
نویسندگان
امین فرحبخش طولی
دانشگاه آزاد اسلامی واحد قزوین
جواد اسدی
دانشگاه آزاد اسلامی واحد قزوین
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :