Measurements of Software Trustworthiness Based on Axiomatic Design

Bin Yang

doi:10.4028/www.scientific.net/AMR.403-408.400

Paper Titles

To Construct a Management System for Tourism Resources of Intangible Cultural Heritage
p.377

Dynamic Complexity of E-Commerce Systems Base on Synergy Field
p.383

Study on the Model of Individual Customer Retention in Consumer Durables Market Considering Service Input
p.389

The Sensitive Dynamic Study of Business Investment Decision-Making on Cash Flow
p.394

Measurements of Software Trustworthiness Based on Axiomatic Design
p.400

Research of the Comparing of the Influence of Enterprises Innovation Investment to Urban Economy in Beijing, Tianjin and Shanghai-Based on Panel Data during 1989-2008
p.405

Empirical Study of Core Competence in Coal Enterprises under Low-Carbon Economy
p.409

Conjoint-Analysis on Development of Integrity Image Management in Public Sector
p.414

Research on Innovation Mechanism of Industry Cluster Embedded in Social Networks Relation
p.421

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 403-408Measurements of Software Trustworthiness Based on...

Measurements of Software Trustworthiness Based on Axiomatic Design

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 403-408)

Pages:

400-404

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.403-408.400

Citation:

Cite this paper

Online since:

November 2011

Authors:

Bin Yang

Keywords:

Axiomatic Design, Informative Axiom, Software Trustworthiness, Weakest Pre-Conditions

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Guo Bin. Firm size, R&D, and performance: an empirical analysis on software industry in China. Science Research Management. 2006(27): 121-126. (in Chinese).

Google Scholar

[2] John C K. Safety critical system: challenges and directions. Proceedings of the 24th International Conference on Software Engineering, 19-25 May 2002, pp.547-550.

Google Scholar

[3] Chen Huo wang, Wang Ji, Dons Wei. High Confidence Software Engineering Technologies. ACTA Electronic Sinica. 2003, 31(12): 1933-(1938).

Google Scholar

[4] Liu Ke, Shan Zhiguang, Wang Ji, He Jifeng, Zhang Zhaotian, Qin Yuwen. Overview on major research plan of trustworthy software. Bulletin of national natural science foundation of China, Mar 2008, pp.145-151. (in Chinese).

Google Scholar

[5] Nam Pyo Suh. AXIOMATIC DESIGN—ADVANCES AND APPLICATIONS [M]. Oxford University Press, (2001).

Google Scholar

[6] Xianfu Cheng. Supply chain design based on axiomatic design. Design and Research , Feb 2005, p.19—23. (in Chinese).

Google Scholar

[7] Ping Jiang. Research on application software of axiomatic design. Computer Integrated Manufacturing System, Oct 2004, p.1199—08. (in Chinese).

Google Scholar

[8] Delin Yang. Research on expression method of product knowledge based on axiomatic design. Journal of Engineering Management , Apr 2004, p.21—24. (in Chinese).

Google Scholar

[9] Xianfu Cheng. Study on enterprise E-commerce strategies based on axiomatic design. Commercial Research, Jul 2005, p.0196—04. (in Chinese).

Google Scholar

[10] Bin Yang, Renb Xiao. Modeling information system based on axiomatic design . Proceedings of the IEEE WICOM2008, 20-23 Oct 2008, pp.147-150.

Google Scholar