کاربرد روشهای صوری درطراحی سیستمهای عامل و توصیف صوری یک سیستم زمان بند
- سال انتشار: 1390
- محل انتشار: چهاردهمین کنفرانس دانشجویی مهندسی برق کشور
- کد COI اختصاصی: ISCEE14_144
- زبان مقاله: فارسی
- تعداد مشاهده: 1685
نویسندگان
دانشگاه آزاد اسلامی واحد قزوین
دانشگاه آزاد اسلامی واحد قزوین
چکیده
روشهای صوری زیربنای محیطهایخاص می باشد جهت مدلهایی که کامل تر و سازگارتر بوده و نسبت به روشهای سنتی و شی گرا از ابهام کمتری برخوردارند تسهیلات توصیفی تئوری مجموعه ها و نشانه گذاریهای منطقی یک مهندس نرم افزار را قادر می سازد که جملاتی شفاف از حقایق و نیازمندی ها ارائه کند بسیاری ازروشهای طراحی و مستندسازی از تکنیکهای غیرصوری استفاده می کنند روشهای صوری به مهندسی نرم افزار امکان میدهند توصیفی از سیستم ایجاد نماید که کامل تر یکنواخت تر و غیرمبهم تر از روشهای قرار دادی یا شی گرا است دراین مقاله ابتدا به بررسی روشهای صوری و سپس به معرفی زبانهای صوری می پردازیم دراین مقاله تاکید برروی زبان توصیف صوری z می باشدکلیدواژه ها
مهندسی نرم افزار پیشرفته ، روشهای صوری، توصیف صوری، زبان توصیف Z و زمان بندی سیستم های عاملمقالات مرتبط جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.