程序设计方法学

✍ dations ◷ 2025-09-27 19:31:38 #程序设计方法学

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

相关

真核域真核生物（学名：Eukaryota）是其细胞具有细胞核的单细胞生物和多细胞生物的总称，它包括所有动物、植物、真菌和其他具有由膜包裹着的复杂亚细胞结构的生物，而不包括细菌和古菌，因它
宾夕法尼亚世宾夕法尼亚世（英语：Pennsylvanian）是地球历史中的一个地质时代，被国际地层委员会(ICS)所承认，是石炭纪时期的两个子时期中的较年轻一个（或两个子系统中的较高者）。宾夕法尼亚纪的年
斯高帕斯Scopus是一家文献数据库。它囊括有全球5000多家在科学、技术、医学和社会科学等领域的出版商。
原癌基因癌基因，也称为致癌基因（英语：Oncogene）是一类能使正常细胞转化为癌细胞的基因。一般地，癌基因是功能出现异常的原癌基因（英语：Proto-oncogene）。原癌基因一般与细胞的增殖生长相关，功
地质时代地质年代是用来描述地球历史事件的时间单位，通常在地质学和考古学中使用。地质年代共分为六个时间单位，从大到小依次是是宙／元（eon）、代（era）、纪（period）、世（epoch）、期（age）、时（chron
木麻黄木麻黄（学名：Casuarina equisetifolia L.）为木麻黄科木麻黄属的植物。常绿乔木，高可达20米；灰绿色小枝细软，颇似针叶，多节，每节有极退化的苞片状叶6－8枚；初夏开花，雌雄同株或异株；球形果
诸子百家诸子百家是后世对华夏先秦学术思想人物和派别之总称。诸子是指中国先秦时期老子、庄子、孔子、孟子、荀子、墨子、列子、申子、韩非子等学术思想代表人物。春秋后期已出现颇
里查·塞拉里查·塞拉（英语：Richard Serra，1939年11月2日－），美国极简主义雕塑家和录影艺术家，以用金属板组合而成的大型作品闻名。塞拉同时也参与了“Process Art”运动。塞拉出生于美国加州
结晶学晶体学，又称结晶学，是一门以确定固体中原子（或离子）排列方式为目的的实验科学。“晶体学”（crystallography）一词原先仅指对各种晶体性质的研究，但随着人们对物质在微观尺度上认识
甘露聚糖结合凝集素1HUP· protein binding · mannose binding · eukaryotic cell surface binding · calcium-dependent protein binding· collagen· acute-phase response · compl