程序设计方法学

✍ dations ◷ 2024-12-22 22:02:22 #程序设计方法学

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

相关

左冠状动脉左冠状动脉（arteria coronaria sinistra，英文简称LCA），又称左主冠状动脉（left main coronary artery，简称LMCA）为主动脉的一条分支，负责供应心脏左侧的血流。其源自于主动脉瓣（英语：ao
哥伦布市哥伦布（英语：Columbus, Georgia）是美国佐治亚州马斯科吉县县治，2000年人口186,291人。1971年实行县市合一。班宁堡的西半球安全合作学院位于此地。
艾尔弗雷德·克努森艾尔弗雷德·乔治·克努森（英语：Alfred George Knudson，1922年8月9日－2016年7月10日），美国遗传学家，专门从事癌症遗传学研究。他在该领域的贡献包括1971年提出的克努森假说，解释了致
反因果系统反因果系统（anticausal system）是一种假想的系统，其内部状态及输出只和某些未来的输入有关。有些教科书或是出版物的定义较宽松，反因果系统只要和过去的输入无关即可，因此可以和
葛守仁葛守仁（英语：Ernest S. Kuh，1928年10月2日－2015年6月27日），美籍华裔电子学家，浙江嘉兴人，原伯克利加州大学工学院院长。葛守仁出生于北京，早年就读于上海市南洋模范中学。1945年考入
安特利－比克斯勒症候群安特利－比克斯勒症候群是一种明显的骨骼及软骨发育不正常或异常融合，从而产生一连串颅骨缺损与畸形。其发生率因发生数量过少而难以统计。遗传方面，其遗传方式为体染色体隐性遗
电休克疗法电休克疗法（英语：Electroconvulsive therapy，简称ECT），又称电疗。是经由电击脑部的方式来诱发痉挛，以治疗精神疾患的方式。精神科用来治疗严重重性忧郁障碍、躁郁症和思觉失调症的
第二次意大利埃塞俄比亚战争法西斯意大利第二次意大利埃塞俄比亚战争是由意大利王国于1935年10月3日发起的入侵埃塞俄比亚帝国的军事行动。意大利王国以1934年12月一次意属索马里与埃塞俄比亚的边界冲
威廉·亨利·珀金威廉·亨利·珀金爵士，FRS（英语：Sir William Henry Perkin，1838年3月12日－1907年7月14日），英国化学家。他在18岁发现了首个苯胺染料——苯胺紫。1853年15岁的珀金入读伦敦的皇家化
span style=color:white;政务委员/span政务委员是中华民国行政院的政务官职位之一，于《中华民国宪法》旧称“不管部会之政务委员”，主要负责跨部会协调、横向联系，以及特定议题、任务的推动，官阶与各部会首长同级，同时