节点文献

汇编语言程序设计中的正确性研究

免费订阅

【作者】 连迩遐王代潮

【Author】 Lian Ershia; Wang Daichao

【机构】 华北电力学院研究生部华北电力学院研究生部

【摘要】 <正> 近年来,国外对计算机程序的正确性的验证技术进行了大量的研究,其目的都是为了提高软件的可靠性.程序正确性的证明也愈来愈成为程序设计的一个重要组成部分。在国内,在程序的正确性证明方面也已开展了许多研究工作,这个问题日益受到广大软件工作者的重视。随着计算机应用领域的不断扩大,计算机软件的可靠性也日趋重要,计算机程序中的错误往往造成应用领域里的严重损失。因此,人们总是想把数学的严密性不断地应用于程序设计过程中去。类似于数学学科在其发展中经历了形式化和公理化的过程,在程

  • 【下载频次】16
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: