کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
عنوان مقاله: کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
شناسه ملی مقاله: ISCEE14_144
منتشر شده در چهاردهمین کنفرانس دانشجویی مهندسی برق کشور در سال 1390
شناسه ملی مقاله: ISCEE14_144
منتشر شده در چهاردهمین کنفرانس دانشجویی مهندسی برق کشور در سال 1390
مشخصات نویسندگان مقاله:
امین فرحبخش طولی - دانشگاه آزاد اسلامی واحد قزوین
جواد اسدی - دانشگاه آزاد اسلامی واحد قزوین
خلاصه مقاله:
امین فرحبخش طولی - دانشگاه آزاد اسلامی واحد قزوین
جواد اسدی - دانشگاه آزاد اسلامی واحد قزوین
روشهای صوری زیربنای محیطهایخاص می باشد جهت مدلهایی که کامل تر و سازگارتر بوده و نسبت به روشهای سنتی و شی گرا از ابهام کمتری برخوردارند تسهیلات توصیفی تئوری مجموعه ها و نشانه گذاریهای منطقی یک مهندس نرم افزار را قادر می سازد که جملاتی شفاف از حقایق و نیازمندی ها ارائه کند بسیاری ازروشهای طراحی و مستندسازی از تکنیکهای غیرصوری استفاده می کنند روشهای صوری به مهندسی نرم افزار امکان میدهند توصیفی از سیستم ایجاد نماید که کامل تر یکنواخت تر و غیرمبهم تر از روشهای قرار دادی یا شی گرا است دراین مقاله ابتدا به بررسی روشهای صوری و سپس به معرفی زبانهای صوری می پردازیم دراین مقاله تاکید برروی زبان توصیف صوری z می باشد
کلمات کلیدی: مهندسی نرم افزار پیشرفته ، روشهای صوری، توصیف صوری، زبان توصیف Z و زمان بندی سیستم های عامل
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/121586/