程序设计方法学部分答案

1、什么是程序设计方法学程序设计方法学是讲述程序的性质以及程序设计的理论和方法的一门学科，内容包括结构程序设计、数据抽象与模块化程序设计、程序正确性证明、程序变换、程序的形式说明与推导、程序综合技术、