Metric-based method of software requirements correctness improvement Svitlana Yaremchuk, Nikolaos Bardis and Kharchenko Vyacheslav ITM Web Conf., 9 (2017) 03009 Published online: 09 January 2017 DOI: 10.1051/itmconf/20170903009