程序设计的性质主要包括以下几个方面：
目的性 ：程序应有明确的编写目的，即为了完成特定任务或解决特定问题。分布性：
程序由一系列计算机可执行的步骤组成，这些步骤可以分布在不同的计算机或计算节点上执行。
有序性：
程序执行的步骤是有序的，即按照特定的顺序依次执行。
有限性：
程序是有限的指令序列，必须在有限的时间内完成执行。
操作性：
程序可对某些对象进行操作，使其改变状态或行为。
此外，根据不同的分类标准，程序设计还可以进一步划分为不同的类型：
结构化程序设计与非结构化程序设计
结构化程序设计：具有结构性的程序设计方法与过程，由基本结构构成复杂结构的层次性。
非结构化程序设计：反之，没有明确的层次结构和基本结构。
过程式程序设计与非过程式程序设计：
过程式程序设计：使用过程式程序设计语言的程序设计。
非过程式程序设计：使用非过程式程序设计语言的程序设计。
顺序程序设计、并发程序设计、并行程序设计、分布式程序设计：
顺序程序设计：程序按照顺序一步一步执行。
并发程序设计：程序中多个任务可以同时执行。
并行程序设计：程序中多个任务可以同时执行，且每个任务都在不同的处理器上执行。
分布式程序设计：程序由分布在不同地点的计算机组件执行。
逻辑式程序设计、函数式程序设计、对象式程序设计：
逻辑式程序设计：基于逻辑推理和判断的程序设计方法。
函数式程序设计：基于数学函数和递归的程序设计方法。
对象式程序设计：基于对象和类的程序设计方法，强调数据和行为的封装。
这些性质和分类有助于更好地理解和设计程序，以提高其可靠性、可维护性和效率。