Обсуждается на авторском курсе «Разработка и формализация требований для программного обеспечения».

Формализация требований рассматривается в книге.