期刊文献+

程序结构与软件可靠性 被引量:1

下载PDF
导出
摘要 本文从软件故障特性论过程序结构与软件可靠性的关系并给出良好的程序结构准则。最后作为例子给出JKCZ软件系统结构和可靠性评价。
作者 苏永乐
出处 《工业仪表与自动化装置》 1995年第2期15-19,共5页 Industrial Instrumentation & Automation
  • 相关文献

同被引文献3

  • 1K Jensen. An Introduction to the Theoretical Aspects of Coloured Petri Nets [ J ]. Lecture Notes in Computer Science, Springer - Verlag, 1994,803:230 - 272.
  • 2K Jensen. An Introduction to the Practical Use of Coloured Petri Nets [ M ]. Dagstuhi Germany : the Advanced Course on Petri Nets, 1996 : 1 - 55.
  • 3Dahl O J, E W Dijkstra, C A R Hoare. Structured Programming[ M ]. London : Academic press, 1972.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部