迈克尔·斯皮尔。 提高程序模块化和可靠性的实用建议。 （英文） Zbl 0301.68009号 国际期刊计算。通知。科学。 4, 133-149 (1975). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 MSC公司： 68号01 软件理论的一般主题 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Spier}，国际计算机杂志。通知。科学。4、133--149（1975年；Zbl 0301.68009） 全文： 内政部 参考文献： [1] J.N.Buxton和B.Randell编辑，《软件工程》，1969年北约会议报告（北约科学事务部，比利时布鲁塞尔，1970年4月）。 [2] F.J.科尔巴托？PL/1作为系统编程的工具，？信息15（6）：68？76（1969年6月）。 [3] J.B.丹尼斯？关于计算和通信的立场文件，？进程中。第一届ACM SIGOPS操作系统原理研讨会（田纳西州加特林堡，1969年10月）。 [4] PDP-11/45处理器手册（数字设备公司，马萨诸塞州梅纳德，1973年）。 [5] E.W.Dijkstra？的结构？这个？多道程序设计系统，？通信ACM 11（5）：341？346（1968年5月）·Zbl 0164.18704号 ·doi:10.1145/363095.363143 [6] B.Elspaet等人？验证程序正确性的技术评估，？ACM计算调查4（3）：97？147（1972年6月）·Zbl 0266.68010号 ·数字对象标识代码：10.1145/356599.35602 [7] R.M.法诺？计算机实用程序和社区，？IEEE国际会议记录12:30？37 (1967). [8] P.Naur和B.Randeil编辑，《软件工程技术》，1968年北约会议报告（北约科学事务部，比利时布鲁塞尔，1969年1月）。 [9] D.L.Parnas？关于将系统分解为模块时使用的标准，？通信ACM 15（12）：1053？1058（1972年12月）。 ·数字对象标识代码：10.1145/361598.361623 [10] J.H.Saltzer？”多路计算机系统中的交通控制，？M.I.T.Se.D.论文，项目MAC技术报告TR-30，马萨诸塞州剑桥市（1966年7月）。 [11] M.J.Spier？过程通信先决条件，或重新访问IPC设置，？进程中。1973年并行处理Sagamore会议（雪城大学，1973年8月），第79页？88 [12] M.J.Spier？保护域的模型实现，？国际竞争杂志。信息Sei。2(3):201?229（1973年9月）。 ·doi:10.1007/BF00986123 [13] M.J.Spier？从系统理论角度看访问控制机制的复杂性，？程序。操作系统保护国际研讨会（IRIA，Rocquencourt，法国，1974年8月），第225页？241 [14] M.J.Spier、T.N.Hastings和D.N.Cutler？用于实现保护域的存储映射技术，？在软件中？实践与经验4（3）：215？230（1974年9月）。 ·数字标识代码：10.1002/spe.4380040304 [15] W.S.Wulf、D.B.Rüssel和A.N.Habermann？BLISS：系统编程语言，？通信ACM 14（12）：780？790（1971年12月）·Zbl 0224.68001号 ·doi:10.1145/362919.362936 [16] W.S.Wulf和M.Shaw？全球变量被认为有害，？ACM SIGPLAN通知8（2）：28？34（1973年2月）。 ·doi:10.1145/953353.953355 [17] M.E.Hopkins，J.N.Buxton和B.Randell编辑，软件工程，1969年北约会议报告（北约科学事务部，比利时布鲁塞尔，1970年4月）。 [18] D.J.Aron，摘自J.N.Buxton和B.Randell编辑的《软件工程》，1969年北约会议报告（北约科学事务部，比利时布鲁塞尔，1970年4月）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。