Handling non-canonical software requirements based on Annotated Predicate Calculus.
https://doi.org/10.1007/s10115-006-0021-y
@article{DBLP:journals/kais/MuJLP07,
author = {Kedian Mu and
Zhi Jin and
Ruqian Lu and
Yan Peng},
title = {Handling non-canonical software requirements based on Annotated Predicate
Calculus},
journal = {Knowl. Inf. Syst.},
volume = {11},
number = {1},
pages = {85--104},
year = {2007},
url = {https://doi.org/10.1007/s10115-006-0021-y},
doi = {10.1007/s10115-006-0021-y},
timestamp = {Sun, 28 May 2017 13:24:49 +0200},
biburl = {https://dblp.org/rec/journals/kais/MuJLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签