"重构"有没有正式的定义？

Question

任何人都知道以更正式的方式定义重构的方法吗？

UPDATE.

重构是一对R =(pre; T),其中pre是程序必须满足的前提条件,T是程序转换.

Answer 1

好吧，不是直接的，但就金钱而言 - 我可以说是的。我无法得出一个等式：）

编写良好、不复杂（可能是由于重构）的代码可以节省时间/精力，从而节省金钱。