Без заголовка

Есть вещи, где без моделирования не обойтись. Например, при обсчёте сложных физических процессов. Но в реальном проекте то, что генерировал Матлаб/Симулинк в железо не ставили, а просто писали ручками код по моделям. С другой стороны, простые модели вполне идут в код. Но это модели должны быть проверяемы, исполняемы и компилируемы. Из общего такое может только Шлейер-Меллор и его клоны. Плюс Матлаб/Симулинк. Плюс специальные тулы для очень узкоспециальных задач. Плюс внутренние DSL, собранные на коленке, для ещё более специальных частных задач.