فهرست مقالات Non-Recursive

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - A Basic Proof Method for the Verification, Validation and Evaluation of Expert Systems
  Armin Ghasem Azar Zohreh Mohammad Alizadeh
  10.7508/jist.2013.01.004
  In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correct چکیده کامل

  In the present paper, a basic proof method is provided for representing the verification, Validation and evaluation of expert systems. The result provides an overview of the basic method for formal proof such as: partition larger systems into small systems prove correctness on small systems by non-recursive means, prove that the correctness of all subsystems implies the correctness of the entire system. پرونده مقاله