Задержка — это максимальное время с момента изменения выходного параметра (от которой зависит изменяемая переменная) до момента, когда это изменение будет указано изменяемой переменной. Точность — это величина, на которую фактическое значение изменяемой переменной может отклоняться от её идеального значения.
Определение взаимосвязей между NAT, REQ, IN и OUT неявно ограничивает допустимое поведение программного обеспечения, показанное на рисунке 10 как связь SOFT без указания проектного дизайна программного обеспечения.
В то время как взаимосвязь SOFT определяет истинные требования к программному обеспечению, взаимосвязи между требованиями к системе, указанными в REQ, и требованиями к программному обеспечению в SOFT не очевидны. Требования к системе и требования к программному обеспечению находятся на разных уровнях абстракции и имеют разные домены и диапазоны. Одним из способов решения этих проблем — расширение требований к программному обеспечению SOFT на три части: IN', REQ' и OUT'
[44], как показано на рисунке 11.