咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 2 篇 index terms-abst...
  • 1 篇 very high level ...
  • 1 篇 dialogues
  • 1 篇 efficient code f...
  • 1 篇 set languages
  • 1 篇 clusters for the...
  • 1 篇 testing
  • 1 篇 dependency among...
  • 1 篇 programming lang...
  • 1 篇 axiomatic specif...
  • 1 篇 programming meth...
  • 1 篇 formal specifica...

机构

  • 1 篇 federal german n...
  • 1 篇 department of co...
  • 1 篇 naval postgradua...

作者

  • 1 篇 jalote p
  • 1 篇 hoffmann heinz-m...
  • 1 篇 schneidewind n.f...

语言

  • 2 篇 英文
检索条件"主题词=Index Terms-Abstract data types"
2 条 记 录,以下是1-10 订阅
排序:
TESTING THE COMPLETENESS OF SPECIFICATIONS
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1989年 第5期15卷 526-531页
作者: JALOTE, P Department of Computer Science University of Maryland College Park MD 20742
Specifications are means to define formally the behavior of a system or a system component. Completeness is a desirable property for specifications. In this paper, we describe a system that tests for the completeness ... 详细信息
来源: 评论
An Experiment in Software Error data Collection and Analysis
收藏 引用
IEEE Transactions on Software Engineering 1979年 第3期SE-5卷 276-286页
作者: Schneidewind, N.F. Hoffmann, Heinz-Michael Naval Postgraduate School Monterey CA. 93940 United States Federal German Navy Philipp-Lassen-Koppel 38 2390 Flensburg Germany United States
The propensity to make programming errors and the rates of error detection and correction are dependent on program complexity. Knowledge of these relationships can be used to avoid error-prone structures in software d... 详细信息
来源: 评论