TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties.
S. Frank, J. Brott, M. Hakamian, и A. van Hoorn. ECSA (Tracks, Workshops and Doctoral Symposium), том 14590 из Lecture Notes in Computer Science, стр. 237-254. Springer, (2023)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/ecsa/FrankBHH23
%A Frank, Sebastian
%A Brott, Julian
%A Hakamian, M. Alireza
%A van Hoorn, André
%B ECSA (Tracks, Workshops and Doctoral Symposium)
%D 2023
%E Tekinerdogan, Bedir
%E Spalazzese, Romina
%E Sözer, Hasan
%E Bonfanti, Silvia
%E Weyns, Danny
%I Springer
%K dblp
%P 237-254
%T TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties.
%U http://dblp.uni-trier.de/db/conf/ecsa/ecsa2023w.html#FrankBHH23
%V 14590
%@ 978-3-031-66326-0
@inproceedings{conf/ecsa/FrankBHH23,
added-at = {2024-09-08T00:00:00.000+0200},
author = {Frank, Sebastian and Brott, Julian and Hakamian, M. Alireza and van Hoorn, André},
biburl = {https://www.bibsonomy.org/bibtex/23e2de8c25ecfe447f25e1012d541f79c/dblp},
booktitle = {ECSA (Tracks, Workshops and Doctoral Symposium)},
crossref = {conf/ecsa/2023w},
editor = {Tekinerdogan, Bedir and Spalazzese, Romina and Sözer, Hasan and Bonfanti, Silvia and Weyns, Danny},
ee = {https://doi.org/10.1007/978-3-031-66326-0_15},
interhash = {6970eff62b9d70421e80efd09ac9783a},
intrahash = {3e2de8c25ecfe447f25e1012d541f79c},
isbn = {978-3-031-66326-0},
keywords = {dblp},
pages = {237-254},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-10-07T08:06:19.000+0200},
title = {TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties.},
url = {http://dblp.uni-trier.de/db/conf/ecsa/ecsa2023w.html#FrankBHH23},
volume = 14590,
year = 2023
}