scholarly journals Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability

2018 ◽  
Author(s):  
Nuha Aldausari ◽  
Cui Zhang ◽  
Jun Dai
Keyword(s):  
Software Reliability ◽  
Inference Rules ◽  
Design By Contract ◽  
Programming Logic

Editorial: Software reliability and metrics

1990 ◽  
Vol 5 (1) ◽  
pp. 2
Author(s):  
Barbara Kitchenham
Keyword(s):  
Software Reliability

Explanatory Power for Medical Expert Systems: Studies in the Representation of Causal Relationships for Clinical Consultations

1982 ◽  
Vol 21 (03) ◽  
pp. 127-136 ◽  
Author(s):  
J. W. Wallis ◽  
E. H. Shortliffe
Keyword(s):  
Explanatory Power ◽  
Prototype System ◽  
Inference Rules ◽  
Medical Expert ◽  
Comprehensive Knowledge ◽  
Different Types ◽  
Medical Expert Systems ◽  
Explanation System ◽  
Systems Studies

This paper reports on experiments designed to identify and implement mechanisms for enhancing the explanation capabilities of reasoning programs for medical consultation. The goals of an explanation system are discussed, as is the additional knowledge needed to meet these goals in a medical domain. We have focussed on the generation of explanations that are appropriate for different types of system users. This task requires a knowledge of what is complex and what is important; it is further strengthened by a classification of the associations or causal mechanisms inherent in the inference rules. A causal representation can also be used to aid in refining a comprehensive knowledge base so that the reasoning and explanations are more adequate. We describe a prototype system which reasons from causal inference rules and generates explanations that are appropriate for the user.

Software Reliability Analysis- A New Approach

2012 ◽  
Vol 3 (2) ◽  
pp. 75-77
Author(s):  
Taraq Hussain Sheakh ◽  
Keyword(s):  
Reliability Analysis ◽  
Software Reliability ◽  
New Approach
Sign in / Sign up

Export Citation Format

Share Document