程序设计方法学

✍ dations ◷ 2025-09-02 17:24:39 #程序设计方法学

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

相关

抗菌药抗细菌药（英语：antibacterial）也称为“抗细菌剂”，是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下，抗细菌药也可简称为“抗菌药”，包括抗生素（英语：antibiotic）由微
欧洲法院本文是欧洲联盟的政治与政府系列条目之一欧洲法院（法语：La Cour de justice de l'Union européenne (CJUE)；德语：Der Gerichtshof der Europäischen Union (EuGH)；英语：Europe
水中分娩水中分娩，或水中生产（Water birth）是一种在暖水中诞下胎儿的分娩方式。严格来说，是分娩的第一及第二阶段在水中进行，第三阶段（排出胎盘）仍需离开水面处理。支持者认为，这种分娩方式
维京人维京人（古诺斯语：víkingr）是诺尔斯人的一支（斯堪的纳维亚人），他们是从公元8世纪到11世纪侵扰并殖民欧洲沿海和不列颠群岛的探险家，武士，商人和海盗。其足迹遍及从欧洲大陆至北极广
甲状腺癌乳突状甲状腺癌（英语：papillary thyroid cancer）的显微镜检图，可以看到癌细胞核呈现空亮状，此特征又称为“安妮眼睛核 ”，为此类型甲状腺癌的重要病理特征。甲状腺癌（Thyroid canc
斜视斜视是眼睛的一种不正常状况，也有斗鸡眼、脱窗眼等俗称，斜视是指当双眼目视某个物体时，双眼无法准确地直视该物体，但单眼可以控制聚焦于某物体上。这种症状可能是偶一为之也可能
危险象形符号图危险的象形图是国际全球化学品统一分类和标签制度的分类和标签制度（GHS）一部分。全球统一制度包含两组集合象形符号：一组标签的集装箱和用于工作场所的危险警告，另一组使用的运
末端回肠在人体解剖学中，回肠是人的消化器官之一。回肠（Ileum）是小肠的最后一段，在十二指肠和空肠的下面。人的回肠约占小肠全长的五分之三，约有2-4米长。回肠多盘于腹腔右下部，借小肠系膜
勃艮地公国勃艮第公国（法语：Duché de Bourgogne；拉丁语：Ducatus Burgundiae；荷兰语：Hertogdom Bourgondië）是一个曾存在于918年－1482年间的欧洲国家，领土曾囊括今法国东部勃艮第-弗朗什-孔泰
姑父姑父，是中文中亲属关系的称谓，指父亲姊妹的丈夫。正式用语中通常称为姑丈或姑爹。