Отдельные части функциональных спецификаций ИС, получаемых в результате структурного анализа с использованием CASE-средства, могут изучаться независимо от других частей благодаря их
Минимальной избыточности
Недвусмысленности
Согласованности
Структурности