咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 software enginee...
  • 1 篇 writing
  • 1 篇 error detection
  • 1 篇 software develop...
  • 1 篇 computers
  • 1 篇 software reliabi...
  • 1 篇 error recovery
  • 1 篇 fault protection
  • 1 篇 complexity theor...
  • 1 篇 code evasion
  • 1 篇 software
  • 1 篇 system recovery
  • 1 篇 error handling
  • 1 篇 nominal control ...
  • 1 篇 source code soft...
  • 1 篇 unix

机构

  • 1 篇 jet prop lab dev...

作者

  • 1 篇 holzmann gerard ...

语言

  • 1 篇 英文
检索条件"主题词=Nominal Control Flow"
1 条 记 录,以下是1-10 订阅
排序:
Code Evasion
收藏 引用
IEEE SOFTWARE 2015年 第5期32卷 77-80页
作者: Holzmann, Gerard J. Jet Prop Lab Dev Stronger Methods Software Anal Code Review & Pasadena CA 91109 USA
Programs sometimes tend to lose their structure and clarity through the addition of error handling. Often, more than half of a code base ends up dedicated to various types of error detection and recovery, obscuring th... 详细信息
来源: 评论