軟體科學

這種理論是用科學方法來研究電腦程式的性質和結構的。軟體科學的一些基本要素包括程式長度、程式量、程式級別、語言級別、花費的精力以及程式設計時間。軟體科學的理論已發展到了定量量度程式級別、語言級別、算法純度、程式清晰性、模組化效果以及程式設計時間等階段。