有关程序设计理论的几个基本概念,请大家修正!

程序:完成一定功能的指令系列.指令可以是机器能直接运行的机器指令,也可以是需要经过编译或解释才能执行的高级语言命令或伪命令.
程序设计:按照一定的规则和方法,利用某种程序设计语言提供的指令或语句系列,编制成完成一定任务和功能的程序代码及相关文档资料.
程序设计方法:利用某种工具编制程序代码,以完成特定任务和功能所遵循的规则和流程.
程序设计方法学:讲述程序的性质及程序设计的理论和方法的一门学科.(胡正国,<<程序设计方法学>>)