程序设计方法学

✍ dations ◷ 2024-11-05 22:40:18 #程序设计方法学

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

相关

碱基核碱基（英语：Nucleobase）是指一类含氮碱基（nitrogenous base），在生物学上通常简单地称之碱基（base）。是在DNA和RNA中，起配对作用的部分。核碱基都是杂环化合物，其氮原子位于环上或取代
μ子催化Μ子催化聚变是一种核聚变过程，可以让核聚变的发生温度远低于正常情况，即使在室温下或更低的温度都可以触发核聚变。它是核催化已知聚变反应的几种方法之一。μ子是一种不稳定
哈斯蒙尼哈斯蒙尼王朝（英语发音：/ˌhæzməˈniːən/ (audio)；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL"
浙江中医药大学900亩（600,000平方米） 400亩浙江中医药大学位于中国浙江杭州市的滨江区滨文路，前身是创办于1953年的浙江省中医进修学校。1959年成立浙江中医学院，2006年更名为浙江中医药大学
底片胶片，是一种制成影像物料。现今广泛应用的胶片是将卤化银涂抹在聚乙酸酯片基上，此种胶片为软性，卷成整卷方便使用，所以又称胶卷，当有光线照射到卤化银上时，卤化银转变为黑色的银，经
巴黎高等商业研究学院巴黎HEC商学院或称法国巴黎高等商学院，其名称源自（Hautes études commerciales de Paris）的缩写，由巴黎工商会（La Chambre de Commerce de Paris）创建于1881年，前身可追溯至1818年
杰尼尼尔斯·卡伊·杰尼，FRS（丹麦语：Niels Kaj Jerne，1911年12月23日－1994年10月7日），英国伦敦出生的丹麦免疫学家。由于发现了单克隆抗体的生产方式，以及相关的免疫学贡献，而与乔治斯·
查尔斯·帕森斯查尔斯·阿尔杰农·帕尔森斯（英语：Charles Algernon Parsons，1854年6月13日－1931年2月11日），英国-爱尔兰工程师。他是蒸汽涡轮发动机的发明者。查尔斯生于英国伦敦的一个盎格鲁爱
李亚栋李亚栋（1964年11月－），安徽宿松人，中国无机化学家，中国科学院院士。1986年7月，毕业于安徽师范大学化学系。1991年7月，获中国科学技术大学硕士学位。1998年6月，获中国科学技术大学博士
Gamescom坐标：50°56′33″N 6°57′32″E / 50.94257°N 6.958976°E / 50.94257; 6.958976Gamescom（风格化书写为gamescom，在中文地区又被称为“科隆游戏展”或“GC展”）是一个在德国