将编程理论描述为通过向软件工程师提供一种计算方法来提供更高程度的精确度。