Automated Reasoning with Goal Tree Models for Software Quality Requirements.
https://doi.org/10.1109/COMPSACW.2012.73
@inproceedings{DBLP:conf/compsac/WeiJZY12,
author = {Bo Wei and
Zhi Jin and
Didar Zowghi and
Bin Yin},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Automated Reasoning with Goal Tree Models for Software Quality Requirements},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {373--378},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSACW.2012.73},
doi = {10.1109/COMPSACW.2012.73},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/WeiJZY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签