rΣ: Automated reasoning tool for non-functional requirement goal models.
https://doi.org/10.1109/RE.2011.6051664
@inproceedings{DBLP:conf/re/WeiYJZ11,
author = {Bo Wei and
Bin Yin and
Zhi Jin and
Didar Zowghi},
title = {r{\(\Sigma\)}: Automated reasoning tool for non-functional requirement
goal models},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {337--338},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051664},
doi = {10.1109/RE.2011.6051664},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/re/WeiYJZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签