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

Возникло соображение, что модульность в применении к методам нужно рассматривать одновременно в разрезе требований (к этим самым методам) и/или целей (применения опять же сиих методов). NB Как следствие, получается что модуляризация/абстракция методов будет в форме (мета)метода :). Т.е. куски методов нужно склеивать с каким-то смыслом, с какими-то целями. То же касается и абстракции (скрываем детали, ненужные относительно каких-то целей). А часть анализа/декомпозиции состоит в том, чтобы понять (и возможно формализовать) какие цели/требования можно удовлетворять каким-то отдельным куском метода (возможно в интеграции с другим(и) куском(кусками)). А если есть набор кусков методов с описаниями, какие эффекты сии куски помогают достигать, то из этих кусков можно уже синтезировать и более сложные методы с нужными характеристиками. Вобщем, в такой постановке это уже напоминает задачу декомпозиции/абстракции софта, впрочем как и задачу декомпозиции любой (символьной) модели. Разве что софт обычно сильно сложнее методов. В принципе, можно наверное даже сделать и какой-то автоматический синтезатор методов, но не уверен, что это оправданно с практических целей. Но, как всегда, такая декомпозиция полезна для настройки интуиции и понимания предметной области.