Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
При этом устранение противоречий возможно как на этапе составления ТЗ (изменение формулировок функций, разнесение их действия во времени или в пространстве и т.д.), так и на последующих этапах проектирования.
Источник: Основы системного проектирования