Axiomatic approaches based on the software trustworthiness measure

2016 ◽  
pp. 135-142
Author(s):  
H Tao ◽  
Y Chen ◽  
J Pang
Keyword(s):  
Axiomatic Approaches ◽  
Software Trustworthiness

scholarly journals Source Codes Oriented Software Trustworthiness Measure Based on Validation

2018 ◽  
Vol 2018 ◽  
pp. 1-10
Author(s):  
Hongwei Tao ◽  
Jie Zhao
Keyword(s):  
Theoretical Foundation ◽  
Measurement Theory ◽  
Source Codes ◽  
Axiomatic Approaches ◽  
Software Trustworthiness

Validation is critical to the success of software trustworthiness measurement. A large number of software trustworthiness measures are proposed; however, most of them are not validated from a theory perspective. Therefore, they lack theoretical foundation and will induce unnecessary cost and useless calculation. In this paper, we bring measurement theory into software trustworthiness measurement, construct a source codes oriented software trustworthiness measure based on extensive structure in the measurement theory, and validate the developed measure by use of axiomatic approaches. Compared with some software trustworthiness measures that are already presented, this measure can evaluate software trustworthiness better from a theory perspective.

scholarly journals The Reconciliation of Multiple Conflicting Estimates: Entropy-Based and Axiomatic Approaches

Entropy ◽  
2018 ◽  
Vol 20 (11) ◽  
pp. 815
Author(s):  
João Rodrigues ◽  
Michael Lahr
Keyword(s):  
First Principles ◽  
Axiomatic Approach ◽  
Data Reconciliation ◽  
Arithmetic Average ◽  
Weighted Arithmetic ◽  
Harmonic Average ◽  
Alternative Setting ◽  
Axiomatic Approaches ◽  
Reconciliation Method ◽  
The Ideal

When working with economic accounts it may occur that multiple estimates of a single datum exist, with different degrees of uncertainty or data quality. This paper addresses the problem of defining a method that can reconcile conflicting estimates, given best guess and uncertainty values. We proceeded from first principles, using two different routes. First, under an entropy-based approach, the data reconciliation problem is addressed as a particular case of a wider data balancing problem, and an alternative setting is found in which the multiple estimates are replaced by a single one. Afterwards, under an axiomatic approach, a set of properties is defined, which characterizes the ideal data reconciliation method. Under both approaches, the conclusion is that the formula for the reconciliation of best guesses is a weighted arithmetic average, with the inverse of uncertainties as weights, and that the formula for the reconciliation of uncertainties is a harmonic average.

Measurements of Software Trustworthiness Based on Axiomatic Design

2011 ◽  
Vol 403-408 ◽  
pp. 400-404
Author(s):  
Bin Yang
Keyword(s):  
Axiomatic Design ◽  
Measurement Model ◽  
Information Axiom ◽  
Trustworthy Software ◽  
Set Up ◽  
Software Trustworthiness ◽  
Post Condition

Trustworthy software is more and more important. Through studying the basic characters of trustworthy software and the substance of axiomatic design, the method to measure trustworthiness of software based on axiomatic design is creatively proposed. Applying information axiom and weakest pre-conditions for any command C with a post-condition R, the measurement model of trustworthy software is set up.

Aximatics for Rough Set Model Based on Vague Relations

2011 ◽  
Vol 282-283 ◽  
pp. 283-286
Author(s):  
Hai Dong Zhang ◽  
Yan Ping He
Keyword(s):  
Rough Set ◽  
Rough Sets ◽  
General Framework ◽  
Axiomatic Approach ◽  
Constructive Approach ◽  
Approximation Operators ◽  
Rough Approximation ◽  
Axiomatic Approaches ◽  
Set Approximation

This paper presents a general framework for the study of rough set approximation operators in vague environment in which both constructive and axiomatic approaches are used. In constructive approach, by means of a vague relation defined by us, a new pair of vague rough approximation operators is first defined. Also some properties about the approximation operators are then discussed. In axiomatic approach, an operator-oriented characterization of vague rough sets is proposed, that is, vague rough approximation operators are defined by axioms.

Sign in / Sign up

Export Citation Format

Share Document