Аннотация:В настоящее время цифровые модели зданий активно применяются в международной и российской практике реализации строительных проектов. Для их автоматизированной оценки ведется работа по переводу национальных стандартов и сводов правил, предусматривающих требования к безопасности зданий, сооружений и процессов, в так называемый «Реестр требований». Однако декларируемый переход к машиночитаемым стандартам с целью повышения качества проектной документации и автоматизации процедур проверки сталкивается с серьезными методологическими проблемами. Их причиной является отсутствие понимания каким образом должны представляться стандарты и какие математические методы и программные инструменты осуществления проверок необходимы для этого.Вместе с тем, подобные проблемы системно и успешно решаются на протяжении четверти века в рамках дисциплины инженерии требований, для чего разработаны соответствующие стандарты, методологии и инструменты. В работе обосновывается применимость дисциплины к области строительства, а также дается интерпретация ее ключевых принципов. На основе сравнительного анализа существующих инструментов проверки описывается перспективный подход к спецификации и валидации требований к цифровым моделям в строительстве с использованием формальных методов.