Metric-based method of software requirements correctness improvementSvitlana Yaremchuk, Nikolaos Bardis and Kharchenko VyacheslavITM Web Conf., 9 (2017) 03009DOI: https://doi.org/10.1051/itmconf/20170903009