CIVILICA We Respect the Science
ناشر تخصصی کنفرانسهای ایران
عنوان
مقاله

ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی

اعتبار موردنیاز : ۱ | تعداد صفحات: ۹ | تعداد نمایش خلاصه: ۳۱۴ | نظرات: ۰
سال انتشار: ۱۳۹۲
کد COI مقاله: BPJ01_112
زبان مقاله: فارسی
حجم فایل: ۳۷۹.۸۹ کیلوبایت (فایل این مقاله در ۹ صفحه با فرمت PDF قابل دریافت می باشد)

راهنمای دانلود فایل کامل این مقاله

اگر در مجموعه سیویلیکا عضو نیستید، به راحتی می توانید از طریق فرم روبرو اصل این مقاله را خریداری نمایید.
با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک مقاله) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید. در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.
لطفا قبل از اقدام به خرید اینترنتی این مقاله، ابتدا تعداد صفحات مقاله را در بالای این صفحه کنترل نمایید.
برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.

خرید و دانلود فایل مقاله

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای ۹ صفحه است در اختیار داشته باشید.

قیمت این مقاله : ۳,۰۰۰ تومان

آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان مقاله ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی

  زینب مجدی - هیئت علمی موسسه آموزش عالی آیندگان
  حسن حقیقی - استادیاردانشگاه شهید بهشتی

چکیده مقاله:

تولیدنرم افزارقابل اعتمادوکارایکی ازاصلی ترین موارد موردبحث درمهندسی نرم افزار است این مهم بطور خاص درکاربردهای حساس موردتوجه تولید کنندگان قراردارد سیستم های همروند به دلیل وجود برخی مسائل مانند بن بست گرسنگی رفتارغیرقطعی وهمگام سازی بسیارپیچیده حساس و مستعدخطا هستند درنتیجه اطمینان ازدرستی وصحت عملکرداین گونه سیستم ها ازدوجنبه بسیارضروری می باشد اولا سطح قابلیت اطمینان این گونه سیستم ها افزایش خواهدیافت ثانیا موجب کاهش هزینه و زمان کلی تولید سیستم نیز خواهد شد صحت سنجی صوری به عنوان روشی برای اطمینان ازصحت توصیف صوری اولیه نرم افزارمیتواند جلوی خطاهای پرهزینه را بطرزغیرقابل توجهی بگیرد ازطرف دیگربه دلیل سطح تجرید بالا درتوصیفهای صوری و همچنین نیاز به توصیف و تولید صوری سیستم های غیرقطعی مانند سیستم های همروند وجود عدم قطعیت درتوصیفهای صوری اجتناب ناپذیر است دراین مقاله سعی شده تا برمبنای زبان توصیف صوری Z به معرفی روشی برای صحت سنجی توصیفهای نوشته شده سیستم های همروندباپوشش اعمال غیرقطعی پرداخته شود درانتها برای نشان دادن قابلیت های روش مذکور یک مطالعه موردی ازسیستم های همروند انجام شده است

کلیدواژه‌ها:

زبان Z، سیستم های همروند، صحت سنجی، عدم قطعیت

کد مقاله/لینک ثابت به این مقاله

برای لینک دهی به این مقاله، می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت مقاله در مرجع سیویلیکا مورد استفاده قرار میگیرد:
https://www.civilica.com/Paper-BPJ01-BPJ01_112.html
کد COI مقاله: BPJ01_112

نحوه استناد به مقاله:

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
مجدی, زینب و حسن حقیقی، ۱۳۹۲، ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی، اولین همایش ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات، رودسر، دانشگاه آزاد اسلامی واحد رودسر و املش، https://www.civilica.com/Paper-BPJ01-BPJ01_112.html

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (مجدی, زینب و حسن حقیقی، ۱۳۹۲)
برای بار دوم به بعد: (مجدی و حقیقی، ۱۳۹۲)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :

  • A. S. Evans, _ Assertional Verification Method for Z Specifications ...
  • Systems", Proc. ISCIS XI, Turkey, 1996. ...
  • A. S. Evans, _ Improved Recipe for Specifying Reactive Systems ...
  • Conference of Z Users, Springer- Verlag, pp. 275-294, ...
  • A. S. Evans, "Specifying and Verifying Concurrent Systems Using Z, ...
  • R. Alur, T. A. Henzinger, "Cmputer Aided Verification, Draft Book ...
  • J. Woodcock, S. M. Brien, :W: A Logic for Z, ...
  • S.G.Akl "The Design and Analysis of Parallel Algorithms" Prentice-Hall, 1989. ...
  • S. H. Mirian-Ho sseinabadi, "Constructive Z", PhD Thesis, Department of ...
  • علم سنجی و رتبه بندی مقاله

    مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
    نوع مرکز: موسسه غیرانتفاعی
    تعداد مقالات: ۲۶۰
    در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

    مدیریت اطلاعات پژوهشی

    اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

    مقالات مرتبط جدید

    شبکه تبلیغات علمی کشور

    به اشتراک گذاری این صفحه

    اطلاعات بیشتر درباره COI

    COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
    کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.