TQPropRefiner: Interactive Comprehension and Refinement of Specifications on Transient Software Quality Properties.
S. Frank, J. Brott, M. Hakamian, and A. van Hoorn. ECSA (Tracks, Workshops and Doctoral Symposium), volume 14590 of Lecture Notes in Computer Science, page 237-254. Springer, (2023)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}