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