Working Toward Trustworthy Software

ITNOW ◽  
2018 ◽  
Vol 60 (3) ◽  
pp. 54-57
Author(s):  
Neil Whitley
Keyword(s):  
Trustworthy Software

A non-functional requirements tradeoff model in Trustworthy Software

2012 ◽  
Vol 191 ◽  
pp. 61-75 ◽  
Author(s):  
Ming-Xun Zhu ◽  
Xin-Xing Luo ◽  
Xiao-Hong Chen ◽  
Desheng Dash Wu
Keyword(s):  
Functional Requirements ◽  
Trustworthy Software

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.

Toward Trustworthy Software Systems

Computer ◽  
2006 ◽  
Vol 39 (4) ◽  
pp. 91-92 ◽  
Author(s):  
W. Hasselbring ◽  
R. Reussner
Keyword(s):  
Software Systems ◽  
Trustworthy Software
Sign in / Sign up

Export Citation Format

Share Document