Evaluation criteria to comparing of formal methods
محل انتشار: کنفرانس بین المللی مهندسی و علوم کامپیوتر
سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 424
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICCSE01_215
تاریخ نمایه سازی: 14 شهریور 1396
چکیده مقاله:
Formal Methods have been seen as ways to improve the quality of the software development process. It uses mathematicalmodels for analysis and verification at any part of the program life-cycle. Because the Formal Methods have useful effective in thedevelopment of critical systems, thus we scope to evaluate formal methods via variety parameters to analogy and best using of each oneof them in suitable situation. The purpose of this paper is identify and discuss the main evaluation parameters for a Comparison ofFormal Methods (CFM). A number of parameters should be taken into account when evaluating Formal Methods. Key parametersinclude readability, writability, reliability, and cost. These parameters and their sub parameters are presented and discussed below andform a proposed evaluation model, evaluation model of formal methods comparison.
کلیدواژه ها:
نویسندگان
Nesa Mohsenian
Sama technical and vocational training college Sari, Iran
Sajjad jeddi Saravi
PhD candidate in software, Department of computer Sari Branch, Islamic Azad University
Yaser Qorbani
MSc Artificial Intelligence in Shahrood University of Technology Shahrood,Iran