Mendeley
TY  _  JOUR
ID  -  1394090715502595
TI  -  Determination of Formal Methods Capabilities for Software Specification and Analysis
JO  -  Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
JA  -  ES
LA  -  fa
SN  -  16823745
AU  -  babamir babamir
AU  -  Ahmadi Sabet V.
AD  -  
AD  -  دانشگاه پیام نور مرکز همدان
Y1  -  2012
PY  -  2012
VL  -  2
IS  -  
SP  -  3
EP  -  19
KW  -  Software specification and verification
Formal methods
software categorization
state based
event based
DO  -  
N2  -  Software developers face the problem of adopting a suitable formal method to developing their software. We aim to determine capability level of formal methods in software specification and analysis in four steps. The first step introduces the criteria by which the formal methods assess. The second and third ones deal with categorizing sorts of software and formal methods based on their solution methods. The fourth step determines fitness of some typical formal methods to specification and analysis of each software category.
UR  - rimag.ir/en/Article/28028
L1  - rimag.ir/en/Article/Download/28028
ER  -  
