机译:ОПИСАНИЕ АРХИТЕКТУРЫ СИСТЕМ В ВИДЕ ПРОГРАММНОГО КОДА И АВТОМАТИЗИРОВАННЫЙ КОНТРОЛЬ АРХИТЕКТУРЫ
НИУ ВШЭ;
АО ?НПО Спецматериалов?;
архитектура системы; смарт-стандарты; реверсивная архитектура; анализатор артефактов; верификация требований; автоматизированный контроль;