QQ客服 官方微博 反馈留言

	r: Automated reasoning tool for non-functional requirement goal models
	Wei, Bo ; Yin, Bin ; Jin, Zhi ; Zowghi, Didar
	2011
英文摘要	Reasoning is critical for non-functional requirements (NFRs) analysis and verification. Furthermore, it can provide rationale about implementation strategies for NFRs. The existing tools can execute an interactive reasoning process which sometimes needs extra information from stakeholders. We build a tool called r?? for reasoning on NFR models especially when extra information is unavailable or forbidden, like at the model verification stage. This tool employs the formula style model as the input, automatically promotes the reasoning process till the root node, and returns all the satisficing statuses and the complete rationale as the output. We have applied r?? into the real practice and to evaluate its efficiency. ? 2011 IEEE.; EI; 0
语种	英语
DOI标识	10.1109/RE.2011.6051664
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/412889]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Wei, Bo,Yin, Bin,Jin, Zhi,et al. r: Automated reasoning tool for non-functional requirement goal models. 2011-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。