Title :
Measure Model of Trustworthy Software Based on Axiomatic Design
Author :
Yang, Bin ; Xiao, Renbin
Author_Institution :
Sch. of Manage., Hubei Univ. of Technol., Wuhan, China
Abstract :
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.
Keywords :
data privacy; software engineering; axiomatic design; information axiom; trustworthy software measurement model; Design methodology; Fault tolerance; Industries; Matrix decomposition; Software measurement; Software systems;
Conference_Titel :
Database Technology and Applications (DBTA), 2010 2nd International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-6975-8
Electronic_ISBN :
978-1-4244-6977-2
DOI :
10.1109/DBTA.2010.5659112
