На сегодняшний день технические требования как правило представлены в слабоструктурированном формате в виде человекочитаемых документов, что затрудняет автоматическую проверку информационных моделей на соответствие этим требованиям. Для решения этой проблемы необходимо преобразовать технические требования в машиноинтерпретируемый формат и сопоставлять их с объектами информационной модели. Данное исследование представляет обзор методов автоматической проверки информационных моделей.

Турыгин Д.О. (науч. рук. Баймуратов И.Р.) Метод автоматической проверки информационных моделей на соответствие техническим требованиям // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2024]. URL: https://kmu.itmo.ru/digests/article/13137