инженерия требований

Гаранина Н.О. Зюбин В.Е. Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика. — . — № 9.  — С. 111-132
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — . — № 10.  — С. 33-44
Подписаться на инженерия требований