چکیده مقاله
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
شیوه ارجاع
Mohsenian, Nesa and jeddi Saravi, Sajjad and Qorbani, Yaser,1395,Evaluation criteria to comparing of formal methods, International Conference on Engineering and Computer Science,Najafabad
ارائهشده در
مجموعه مقالات کنفرانس بین المللی مهندسی و علوم کامپیوتر3 اسفند 1395 · نجف آباد