http://wiki.c2.com/?ModelsOfComputation
Парадигма декомпозиции — это стиль структурирования программы на части.
http://wiki.c2.com/?DecompositionParadigms
--
Модели вычислений
ModelsOfComputation — это абстрактные спецификации того, как может выполняться вычисление, и они часто выражаются в виде описания некоего концептуального автомата. ModelsOfComputation сильно отличаются от DecompositionParadigms, которые представляют собой стратегии структурирования программ, а не вычислений, которые могут возникнуть при выполнении этих программ.
Единственным наиболее важным теоретическим аспектом модели вычислений является ее мощность, которая представляет собой класс (математических) функций, которые она может вычислить. Другим важным прагматическим, качественным аспектом является его выразительность, которая связана с легкостью, с которой в нем можно выражать вычисления.
Классическим примером модели вычислений является модель машины Тьюринга, обладающая огромной силой, даже если ее выразительность очень ограничена, из-за того, насколько неудобно в ней выражать вычисления.
--