کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
Publish place: 14th Iranian Student Conference on Electrical Engineering
Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,566
This Paper With 13 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ISCEE14_144
تاریخ نمایه سازی: 31 مرداد 1390
Abstract:
روشهای صوری زیربنای محیطهایخاص می باشد جهت مدلهایی که کامل تر و سازگارتر بوده و نسبت به روشهای سنتی و شی گرا از ابهام کمتری برخوردارند تسهیلات توصیفی تئوری مجموعه ها و نشانه گذاریهای منطقی یک مهندس نرم افزار را قادر می سازد که جملاتی شفاف از حقایق و نیازمندی ها ارائه کند بسیاری ازروشهای طراحی و مستندسازی از تکنیکهای غیرصوری استفاده می کنند روشهای صوری به مهندسی نرم افزار امکان میدهند توصیفی از سیستم ایجاد نماید که کامل تر یکنواخت تر و غیرمبهم تر از روشهای قرار دادی یا شی گرا است دراین مقاله ابتدا به بررسی روشهای صوری و سپس به معرفی زبانهای صوری می پردازیم دراین مقاله تاکید برروی زبان توصیف صوری z می باشد
Keywords:
Authors
امین فرحبخش طولی
دانشگاه آزاد اسلامی واحد قزوین
جواد اسدی
دانشگاه آزاد اسلامی واحد قزوین
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :