ارائه روشی مبتنی بر معیار برای تعیین سطح توانایی روشهای رسمی در توصیف و تحلیل نرم افزار

سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,346

فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ISCIT01_054

تاریخ نمایه سازی: 1 اسفند 1388

چکیده مقاله:

توسعه دهندگان نرم افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم افزار تحت توسعه روبرو هستند هدف ما در این مقاله ارائه یک روش نظام مند جهت تعیین سطح توانایی روشهای رسمی برای توصیف و تحلیل نرم ا فزارهای مختلف می باشد که دراین مقاله (1) براساس نوعهای مختلف نرم افزار مانند بلادرنگ ، توزیع شده ، تبدیلی و ویژگیهای مورد نیاز مانند همروندی، توزیع شدگی، واکنش ، تعاملی معیارهای تعیین شده، (2) توانایی های روشهای رسمی را براساس معیارهای تعیین شده مشخص و سطح توانایی آنها را تعیین خواهیم نمود. و (3) به کاربرد جهت توصیف و تحلیل نرم افزار بااتکا به معیارهای ارائه شده یک یا ترکیبی از چند روش رسمی را برای توسعه نرم افزار پیشنهاد خواهیم کرد.

نویسندگان

ویدا احمدی ثابت

دانشجوی کارشناسی ارشد نرم افزار دانشگاه آزاد اسلامی واحد اراک

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Abstractه [14] C. L. Heitmeyer and J. _ requirements specifications: ...
  • J. Jacky, "Specifying a safety-critical control system in Z." IEEE ...
  • G. Archinoff, _ of the shutdown system software at the ...
  • C. Heitmeyer. _ the Need for Practical Formal Methods." Naval ...
  • G. Sukumar, Distributed Systems - An Algorithmic Approach, Chapman & ...
  • Iain Fogg, Brain Hicks, Andrew Lister, Tim Mansfield, Kerry Reymond. ...
  • J.P. Bowen, Formal Specification and Documentation Using Z: A Case ...
  • J.L.Peterson, Petri Net Theory and the Modeling of Systems. Prentice-Hall, ...
  • T. Murata, "Petri nets: Properties, Analysis and Applications", Proceeding of ...
  • F. Jahanian, A. K. Mok and D. A. Stuart. Formal ...
  • B. Liskov, "Programming with Abstract Data Types.", in Proceedings of ...
  • A. Avellone, M. Ferrari, P. Miglioli. "Synthesis of programs in ...
  • Transfo rmation, Manchester UK, 1998. ...
  • B. Stephen, C. A. R. Hoare and A W. Roscoe, ...
  • C. A. R. Hoare, Commun icating Sequential Processes. Prentice Hal, ...
  • نمایش کامل مراجع