A Novel Approach to Measure Confidence and Uncertainty in Assurance Cases

Alvine Boaye Belle,Timothy C. Lethbridge,Sègla Kpodjedo,Opeyemi O. Adesina,Miguel A. Garzón

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)（2019）

引用 6|浏览14

暂无评分

摘要

The following topics are dealt with: formal specification; formal verification; systems analysis; software engineering; learning (artificial intelligence); data mining; mobile computing; security of data; project management; software development management.

查看译文

关键词

Assurance case, Goal Structuring Notation (GSN), confidence measure, feature identification, technical debt (requirement debt), maintenance and evolution

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要