The Requirements Enhancement Based on a Problem Domain Model Jurij Tekutov and Julija Smirnova ITM Web Conf., 54 (2023) 01002 Published online: 04 July 2023 DOI: 10.1051/itmconf/20235401002