咨询与建议

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 软件工程
    • 2 篇 电气工程
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程

主题

  • 3 篇 systematic progr...
  • 2 篇 derivation of pr...
  • 2 篇 structured progr...
  • 1 篇 program modifica...
  • 1 篇 program correctn...
  • 1 篇 program synthesi...
  • 1 篇 program transfor...
  • 1 篇 correctness of p...
  • 1 篇 data abstraction
  • 1 篇 modification of ...
  • 1 篇 termination of p...
  • 1 篇 transformation o...
  • 1 篇 program extensio...
  • 1 篇 iteration foldin...
  • 1 篇 program verifica...
  • 1 篇 specification of...
  • 1 篇 calculational pr...
  • 1 篇 program inductio...
  • 1 篇 synthesis of pro...
  • 1 篇 programming meth...

机构

  • 1 篇 department of ap...
  • 1 篇 department of co...
  • 1 篇 stanford artific...
  • 1 篇 univ sw louisian...
  • 1 篇 with the departm...
  • 1 篇 artificial intel...

作者

  • 1 篇 manna zohar
  • 1 篇 waldinger r
  • 1 篇 li jx
  • 1 篇 lakhotia a
  • 1 篇 manna z

语言

  • 3 篇 英文
检索条件"主题词=Systematic Program Development"
3 条 记 录,以下是1-10 订阅
排序:
USING MATHEMATICAL INDUCTION IN systematic program-development
收藏 引用
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 1994年 第4期4卷 561-574页
作者: LI, JX LAKHOTIA, A UNIV SW LOUISIANA CTR ADV COMP STUDIES LAFAYETTE LA 70504 USA
This paper makes a contribution to the calculational paradigm of program development, a paradigm in which programs are calculated from their specifications by applying meaning preserving transformations. It introduces... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The Logic of Computer programming
收藏 引用
IEEE Transactions on Software Engineering 1978年 第3期SE-4卷 199-229页
作者: Manna, Zohar Department of Applied Mathematics Weizmann Institute of Science Rehovot Israel Stanford Artificial Intelligence Laboratory Stanford University Stanford CA 94305 United States Artificial Intelligence Center SRI International Menlo Park CA 94025 United States
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to ... 详细信息
来源: 评论