Формализация функциональных требований к системе с помощью диаграммы вариантов и