ИСТИНА

Система генерации спецификации требований к программному обеспечению на основе полуформальной модели получает на вход полуформальную модель требований на языке моделирования Reka, обрабатывает её и генерирует спецификацию требований к программному обеспечению, разрабатываемому в соответствии с DO-178C. Сгенерированная спецификация может быть автоматически помещена в одну из систем управления требованиями. Поддерживается автоматическое проставление связей между требованиям и между определением термина и местом его использования.