Аннотация:Обсуждаются процедуры верификации и валидации информационных моделей зданий, сооружений и инфраструктуры, основанных на международном стандарте IFC (ISO 16739 – Industry Foundation Classes). Отмечается важность процедур для эффективного применения технологий информационного моделирования (BIM) при реализации сложных строительных проектов и программ, а также обеспечения их надлежащего качества. Даются строгие определения задач верификации и валидации информационных моделей, как проверки выполнимости синтаксических и семантических правил для данных, представленных в соответствии со стандартом IFC, а также проверки их соответствия формальным и неформальным требованиям участников проектной деятельности. Обсуждаются также математические методы и программные средства для решения задач в рамках общего подхода к управлению требованиями.Ключевые слова: BIM, IFC, верификация, валидация, управление требованиями