Nikolay A. Skvortsov, Sergey A. Stupnikov. Formalizing Requirement Specifications for Problem Solving in a Research Domain. In Tatjana Welzer, Johann Eder, Vili Podgorelec, Robert Wrembel, Mirjana Ivanovic, Johann Gamper, Mikolaj Morzy, Theodoros Tzouramanis, Jérôme Darmont, Aida Kamisalic Latific, editors, New Trends in Databases and Information Systems, ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings. Volume 1064 of Communications in Computer and Information Science, pages 266-279, Springer, 2019. [doi]
@inproceedings{SkvortsovS19,
title = {Formalizing Requirement Specifications for Problem Solving in a Research Domain},
author = {Nikolay A. Skvortsov and Sergey A. Stupnikov},
year = {2019},
doi = {10.1007/978-3-030-30278-8_29},
url = {https://doi.org/10.1007/978-3-030-30278-8_29},
researchr = {https://researchr.org/publication/SkvortsovS19},
cites = {0},
citedby = {0},
pages = {266-279},
booktitle = {New Trends in Databases and Information Systems, ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings},
editor = {Tatjana Welzer and Johann Eder and Vili Podgorelec and Robert Wrembel and Mirjana Ivanovic and Johann Gamper and Mikolaj Morzy and Theodoros Tzouramanis and Jérôme Darmont and Aida Kamisalic Latific},
volume = {1064},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-30278-8},
}