程序设计方法学

✍ dations ◷ 2025-11-10 04:18:43 #程序设计方法学

程序设计方法学是讨论程序的性质以及程序设计的理论和方法的一门学科，是研究和构造程序的过程的学问，是研究关于问题的分析，环境的模拟，概念的获取，需求定义的描述，以及把这种描述变换细化和编码成机器可以接受的表示的一般的方法。利用Dijkstra的谓词转换器及其演算规则集合，可以推导出正确的程序。利用程序变化构造正确的程序。它对程序应用一连串的保护正确性的变换规则，最终得到可执行的程序。程序变换是1970年代以来，“程序设计方法学”研究的重要方面，是程序设计自动化很有希望的途径之一。递归程序变换是这一时期的最有意义的成果。如Burstall和Darlington的递归程序变换系统等。逻辑程序设计和函数程序设计代表一种新的研究方向。Prolog是以谓词逻辑的子集（Hoare子句）为基础的一种形式系统。Prolog的执行过程就是执行逻辑上消解算法的过程。抽象数据类型是程序设计方法学中一种极为重要的方法。人们把它誉为程序设计方法学发展史上的一个重要的里程碑。软件工程主要应用工程的方法和技术研究软件开发与维护的方法、工具和管理的一门计算机科学与工程学交叉的学科程序设计方法学主要运用数学方法研究程序的性质以及程序设计的理论和方法的学科；软件工程的研究对象是软件系统。目标是降低软件的开发成本，提高软件的质量，提高软件的可维护性，提高软件开发的效率。着重于软件的宏观可用性。程序设计方法学研究对象是程序。目标是保证程序的正确性。着重于程序的微观正确性。软件工程与程序设计方法学的界限变得越来越模糊程序设计方法学是软件工程的基础。

相关

定位规则苯环的亲电取代定位效应（英语：Orientation effect of electrophilic aromatic directing groups）是指苯环上已有的取代基对亲电取代反应的影响。1895年霍里曼（Holleman）等从大量
古柯古柯（英语：coca），在古柯科古柯属下四种植物的通称，原产于南美洲。在阿根廷，秘鲁，玻利维亚，乌拉圭，哥伦比亚等国家中，这是重要的经济作物，也是一种传统药草，在印加帝国文化中占有重要地位
分支图分支图（英语：cladogram），也作支序图，是指支序分类学中用于展示生命体互相之间的关系的图表。不过，分支图并不是系统发生树，因为分支图既不展示生物与其祖先的关系，也不展示生物的演
胡安·鲁尔福胡安·鲁尔福（西班牙语：Juan Rulfo，1917年5月16日－1986年1月7日），墨西哥作家和摄影家，台湾译为璜·鲁佛，全名胡安·奈波慕塞诺·卡洛斯·贝雷斯·鲁尔福·维斯卡伊诺（Juan Nepomuceno
无人机无人机（英语：Uncrewed vehicle、Unmanned vehicle或Drone）又称无人载具，是一种无搭载人员的载具。通常使用遥控、导引或自动驾驶来控制。可在科学研究、场地探勘、军事、休闲娱
普萨美提克一世普萨美提克一世 Psammetichus I 古埃及法老（公元前663年－公元前610年在位），埃及第二十六王朝的建立者。“普萨美提克”是希腊人对这位法老的叫法。普萨美提克一世是塞易斯的统治
勃雄二醇勃雄二醇（英语：Bolandiol。INN，也被称为19-去甲-4-雄烯二醇，19-nor-4-androstenediol，雌甾-4-烯-3β,17β-二醇，estr-4-en-3β,17β-diol，或3β-双氢诺龙，3β-dihydronandrolone）是一
硝基甲烷硝基甲烷（化学式：CH3NO2）是最简单的有机硝基化合物。室温下为无色油状有微弱芳香气味的透明液体，有较大的极性，可燃，有毒，具爆炸性。可作燃料。它可以和乙醇、丙酮、乙醚混溶，是一种
商品农业精耕细作（英语：intensive farming），或简称精耕，指农业上采取各种手段，大量的人力、物力投入，以取得最大限度产出的耕作方式。东亚是世界上典型的精耕细作农业区，与北美粗放农业有所
弗洛伦斯·格里菲斯-乔伊娜弗洛伦斯·格里菲斯-乔伊娜（英语：Florence Griffith-Joyner，1959年12月21日－1998年9月21日），美国女子田径运动员，昵称“Flo-Jo”、“花蝴蝶”。格里菲斯1959年出生于洛杉矶，原名多洛