Semantic modelling and automated reasoning of non-functional requirement conflicts in the context of softgoal interdependencies

Haibo Hu,Qi Ma, Tingting Zhang, Yong Tan,Hong Xiang,Chunlei Fu,Yong Feng

IET Software(2015)

引用 26|浏览22
暂无评分
摘要
Non-functional requirements (NFRs) address important issues in software systems, and are vital in successful software. The NFR problems in a system reflect the complexity of that system. Ideally, NFRs are systematically investigated to determine the aspects that may be harmonious or cause conflicts so that conflicts should be detected as early as possible. The work aims to extend the scopes of the...
更多
查看译文
关键词
formal specification,formal verification,graph theory,knowledge representation languages,reasoning about programs,semantic Web,systems analysis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要