Reasoning about Software Trustworthiness with Derivation Trees

In order to analyze the trustworthiness of complex software systems, we propose a model of evidence-based software trustworthiness called trustworthiness derivation tree (TDT). The basic idea of constructing a TDT is to refine main properties into key ingredients and continue the refinement until ba...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Shanghai jiao tong da xue xue bao 2024-06, Vol.29 (3), p.579-587
Hauptverfasser:	Deng, Yuxin, Chen, Zezhong, Wang, Yang, Du, Wenjie, Mao, Bifei, Liang, Zhizhang, Lin, Qiushi, Li, Jinghui
Format:	Artikel
Sprache:	eng
Schlagworte:	Architecture Automated reasoning Cognition Computer Science Derivation DNA nucleotidylexotransferase Electrical Engineering Engineering Graphical user interface Life Sciences Materials Science Software Software development Trustworthiness
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!