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]
Abstract is missing.