程序设计方法综述通常包括以下几个方面：
引言
简述程序设计的重要性及其在不同领域中的应用。
阐述综述的目的和范围，例如针对特定类型的问题或技术进行探讨。
程序设计方法概述
介绍几种主要的程序设计方法，如结构化程序设计、面向对象程序设计、函数式程序设计等。
分析每种方法的基本思想和特点，包括其优缺点和适用场景。
类型系统与类型继承
讨论数据类型的层次分类和类型继承的概念。
介绍基于类型限制的程序结构设计方法，如Janiknow提出的CGP（constrainedGP）。
遗传程序设计（GP）
介绍遗传程序设计的基本算法、主要特点和应用领域。
探讨遗传算法在程序生成中的应用及其研究方向。
程序设计自动化与形式化方法
讨论程序推导、程序综合、程序设计自动化等课题。
介绍形式化规格说明和公理化系统在程序设计中的应用。
并发与分布式程序设计
分析并发程序和分布式程序设计的概念和技术。
讨论这些方法在多核处理器和分布式系统中的应用。
语义学与程序逻辑
介绍程序语义学和程序逻辑的基本概念。
探讨这些理论在程序验证和优化中的应用。
现代程序设计方法
介绍一些新兴的程序设计方法，如基于模型的设计、敏捷开发等。
分析这些方法在提高开发效率和软件质量方面的优势。
实践与应用
通过具体案例或项目，展示程序设计方法在实际中的应用。
讨论如何根据项目需求选择合适的程序设计方法。
结论与展望
总结程序设计方法的发展历程和现状。
展望未来的研究方向和挑战，提出可能的改进和发展方向。
在撰写程序设计方法综述时，建议注意以下几点：
准确性：确保所介绍的内容准确无误，引用可靠的文献和数据。
全面性：覆盖各种主要的程序设计方法，避免遗漏重要内容。
逻辑性：合理安排章节和内容，保持清晰的逻辑结构。
实用性：结合具体案例，展示方法的实际应用价值。
通过以上步骤和注意事项，可以撰写一篇全面、系统的程序设计方法综述。