Evaluation criteria to comparing of formal methods

سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 395

فایل این مقاله در 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