В докладе рассматривается проектирование интеллектуальной среды управления требованиями программных проектов на основе интеграции больших языковых моделей с процессами верификации документации. Предложена архитектура, совмещающая Jira, Kanban-поток с WIP-лимитами и модифицированную V-модель с параллельным LLM-аудитом требований. Ключевым результатом стала формализация алгоритма SMART-верификации, переводящего абстрактные критерии качества в измеримые и технически реализуемые параметры спецификаций. Подход обеспечивает обнаружение логических противоречий и неполноты требований до начала разработки, снижая зависимость от субъективной интерпретации аналитика.

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