节点文献

支持程序验证的模块方法

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 刘定飞； 钟珞；

【机构】 武汉工业大学自动化系； 武汉工业大学自动化系 武汉 430070； 武汉 430070；

【摘要】 本文给出一种支持程序验证的模块方法,并讨论了基于函数语义的模块验证。程序(特别是大型复杂的程序)可划分为若干个摸块,模块本身又可划分为若干个更小的子模块,其验证独立进行。将独立验证过的各子模块复合,完成上级模块或程序本身的验证。

【关键词】 抽象数据类型； 模块； 程序验证； 函数语义； 模块方法；
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1994年01期
  • 【分类号】TP311.1
  • 【被引频次】2
  • 【下载频次】27
知网节下载
节点文献中： 

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

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)