An Automatic Reasoning Mechanism for NFR Goal Models.
https://doi.org/10.1109/TASE.2011.13
@inproceedings{DBLP:conf/tase/WeiJZ11,
author = {Bo Wei and
Zhi Jin and
Didar Zowghi},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {An Automatic Reasoning Mechanism for {NFR} Goal Models},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {52--59},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.13},
doi = {10.1109/TASE.2011.13},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/tase/WeiJZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签