[单选] （）是系统模型的进一步具体化，是软件设计的初步形式，也是程序设计的主要依据。

无穷验证 影响产奶量的因素有哪些？ 高密度电法仪接收部分和普通电阻率仪/激电仪的接收仪有何区别和联系？ 高密度电法仪自动电极的实现的主要方式有哪些？各有什么优缺点？ 非过程性语言 （）是系统模型的进一步具体化，是软件设计的初步形式，也是程序设计的主要依据。