ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی

روش های صوری در مقایسه با روشهای دیگر تولید نرم افزار باعث درک بهتر نیازمندی های کاربر شده و لذا باعث کاهش خطاهای برنامه نویسی می شود در سیستمهای ایمنی - بحرانی کاربرد روشهای صوری به عنوان یک ضرورت محسوب می شود یکی از روشهای ارزیابی مزایای حاصل استفاده از توصیف و وارسی صوری نرم افزار استفاده از تجربیات عملی است دراین مقاله از سیستم آموزش به عنوان یک تجربه عملی استفاده شده و نتایج حاصل از توصیف و وارسی صوری این سیستم و تاثیر استفاده از روشهای تفکیک حالات و ارتقا در توصیف صوری ارایه گردیده است.

کلیدواژه ها:

نماد Z ، روشهای صوری توصیف ، وارسی و روش ارتقا

نویسندگان

علیرضا روحی

کارشناس ارشد نرم افزار

سیدحسن میریان حسین آبادی

استادیار دانشگاه صنعتی شریف

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

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

سید حسن میریان و فرهاد ارومچیان. سیستم آموزش هوشمند، رساله ...
علیرضا روحی. یک کاربرد عملی از توصیف صوری، رساله‌ی کارشناسی ...
R.eeves. Eperiemces _ _ _ Department of Computer Science _ ...
.]200 _ k/mike/fuzzا _ M. Spivey. The fz Manal, Second ...
_ X. Jia. ZTC: d _ Checker for _ User's ...
23 28 31 35 55 68 77 87 158 171 ...
A. van Laasweerde. _ Specifcation: a Roadrmap, Future of Software ...
M. Chechik and . Wong. _ Methods When Morey Is ...
j M. Spivey. The Z Notatio. A Reference Manual, Second ...
(16] Y. Ledr.. _ pre-conditions _ the Z/EVES theorem prover, ...
J.S. Dong, N. _ L. Zuccoui and , Colton, Formalisng ...
_ J.C. Kight, C.L. DeJong, M.S. Gibble aad L.G. Nadaro, ...
_ I. Meisels and . Saaltink. The Z/EVES Referemce Maraal ...
I. Meisels.Softuare Mareal for Windous _ _ _ thc Z ...
J. Woodcck and .J. Davies. Usrg Z Specifcations, _ and ...
E.M. Clarke aad J., Wing. Fomdl Method, State of the ...
C.. Burgess. IThe ole of _ in Softuare _ Educatiom ...
_ M. Saaltiak. _ Z/EVES sgstem, _ Canada, Sep 1, ...
_ J.P. Bowen aad M.J.C. Gordon. Shullou Embdding _ IOL, ...

نمایش کامل مراجع

صدور گواهی نمایه سازی
من نویسنده این مقاله هستم

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

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

https://civilica.com/doc/128662

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

ACCSI10_219

تاریخ نمایه سازی: 25 آذر 1390

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

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:

روحی، علیرضا و میریان حسین آبادی، سیدحسن،1383،ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی،دهمین کنفرانس سالانه انجمن کامپیوتر ایران،تهران،https://civilica.com/doc/128662

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

مقالات پیشنهادی مرتبط

مقالات فوق بر اساس داده کاوی مقالات مطالعه شده توسط پژوهشگران محاسبه شده است.

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