咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 电气工程
    • 1 篇 软件工程

主题

  • 1 篇 derivation of pr...
  • 1 篇 structured progr...
  • 1 篇 systematic progr...
  • 1 篇 data abstraction
  • 1 篇 modification of ...
  • 1 篇 transformation o...
  • 1 篇 specification of...
  • 1 篇 synthesis of pro...
  • 1 篇 programming meth...

机构

  • 1 篇 department of co...
  • 1 篇 with the departm...

作者

  • 1 篇 waldinger r
  • 1 篇 manna z

语言

  • 1 篇 英文
检索条件"主题词=Modification Of Programs"
1 条 记 录,以下是1-10 订阅
排序:
SYNTHESIS - DREAMS -]programs
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1979年 第4期5卷 294-328页
作者: MANNA, Z WALDINGER, R Department of Computer Science Stanford University Stanford CA 94305 with the Department of Applied Mathematics Weizmann Institute of Science
The field of program verification has as its goal the construction of computer systems for determining whether a given program is correct. Although automatic proofs of the correctness of large programs may be a long w... 详细信息
来源: 评论