Формализация требований: Понимание и применение в различных областях