Telelogic (SDL Suite, TTCN2/3, Tau), IBM (все семейство Rational Software ) - я их писал как разработчик Потому нелюбовь к визуальным средствам выстрадана опытом их разработки 😌
Я это всё к тому, что у каждого инструмента есть своё назначение. Есть назначение у визуального моделирования, есть у формального, есть у кодоподобного... Вся проблема в том, что люди говорят на естественном языке, а он не формален)