软件科学

（计算机科学理论）

软件科学是指随着计算机程序复杂性的增加，对量度软件质量和复杂性的需要也增加。为了满足这种需要，提出了一种称为软件科学的理论。这种理论是用科学方法来研究计算机程序的性质和结构的。软件科学的一些基本要素包括程序长度、程序量、程序级别、语言级别、花费的精力以及程序设计时间。软件科学的理论已发展到了定量量度程序级别、语言级别、算法纯度、程序清晰性、模块化效果以及程序设计时间等阶段。