跳转到内容

Ada 风格指南/参考书目

来自维基教科书,开放的书籍,面向开放的世界

参考文献

  • ACVC(Ada 编译器验证能力)。Ada 验证工具,ASD/SIOL。俄亥俄州莱特-帕特森空军基地。
  • AIRMICS (1990). 软件重用指南。美国陆军管理信息、通信和计算机科学研究学院。ASQB-GI-90-015。
  • Ausnit, C. 和 K.A. Johnson。 (1995 年 3 月)。 "Ada 95 质量和风格"。第十三届年度全国 Ada 技术大会论文集 
  • Bardin, Thompson (1988 年 1 月 - 2 月)。 "可组合的 Ada 软件组件和重新导出范式"ACM SIGAda Ada 通讯。美国纽约州纽约市:计算机协会。VIII (1): 58–79。 doi:10.1145/44766.44769ISSN 1094-3641. 检索于 2009-06-28.{{cite journal}}: CS1 maint: date and year (link) CS1 maint: date format (link)
  • Bardin, Thompson (1988 年 3 月 - 4 月)。 "使用重新导出范式构建可组合的 Ada 软件组件"ACM SIGAda Ada 通讯。美国纽约州纽约市:计算机协会。VIII (2): 39–54。 doi:10.1145/45380.45381ISSN 1094-3641. 检索于 2009-06-28.{{cite journal}}: CS1 maint: date and year (link) CS1 maint: date format (link)
  • Brooks, F.B (1975). 人月神话。软件工程随笔。马萨诸塞州雷丁:Addison-Wesley。
  • Cristian, F (1984 年 3 月)。 "正确且健壮的程序"。IEEE 软件工程汇刊10 (2): 163–174。{{cite journal}}: CS1 maint: date and year (link)
  • 国防部,Ada 联合计划办公室。Ada 编程语言设计原理,1984 年。
  • 国防部,Ada 联合计划办公室。Ada 编程语言参考手册。ANSI/MIL-STD-1815A,1983 年 1 月。
  • Foreman, J. 和 J. Goodenough (1987 年 5 月)。Ada 采用手册:项目经理指南(1.0 版)。宾夕法尼亚州匹兹堡:软件工程研究所。CMU/SEI-87-TR-9 ESD-TR-87-110。{{cite book}}: CS1 maint: date and year (link) CS1 maint: multiple names: authors list (link)
  • Gary, B. 和 D. Pokrass (1985)。理解 Ada:一种软件工程方法。John Wiley & Sons。{{cite book}}: CS1 maint: multiple names: authors list (link)
  • Goodenough, J. B. (1986 年 3 月)。 "Ada 程序员错误示例"。未公开草稿,位于 Ada 存储库中,文件名 PD2:<ADA.EDUCATION>PROGERRS.DOC.2。 {{cite journal}}: Cite journal requires |journal= (help)CS1 maint: date and year (link)
  • Herr, C.S. (1987 年 8 月)。 "编译器验证和可重用软件"。密苏里州圣路易斯:麦道宇航公司。 {{cite journal}}: Cite journal requires |journal= (help)CS1 maint: date and year (link) 来自 CAMP 项目的报告
  • 实时 Ada 问题国际研讨会。ACM Ada 通讯。VII(6)。英国德文郡莫顿汉普斯特德,1987 年。
  • 实时 Ada 问题国际研讨会 II。ACM Ada 通讯。VIII(6)。英国德文郡莫顿汉普斯特德,1988 年。
  • Magnus Kempe (1995-08-19)。 "Ada 程序员常见问题解答 (FAQ)"。 comp.lang.ada(网页链接)。检索于 2009-06-28。 第二部分第三部分
  • Kernighan, B. 和 P.J. Plauger (1978)。编程风格要素。美国纽约州纽约市:麦格劳-希尔公司。{{cite book}}: CS1 maint: multiple names: authors list (link)
  • MacLaren, L. (1980 年 11 月)。 "在实时系统中向 Ada 发展"。ACM Sigplan 通讯15 (11): 146–155。{{cite journal}}: CS1 maint: date and year (link)
  • Mowday, B.L. 和 E. Normand (1986 年 11 月)。 "Ada 编程标准"。通用动力数据系统部部门指示。414.717。 {{cite journal}}: Cite journal requires |journal= (help)CS1 maint: date and year (link) CS1 maint: multiple names: authors list (link)
  • Nissen, J.C.D., P. Wallis, B.A. Wichmann (1982 年 3 月至 4 月). "Ada-Europe 指南,用于 Ada 程序的可移植性". ACM SIGAda Ada Letters. 纽约,纽约,美国:计算机协会。I (3): 44–61. doi:10.1145/989791.989793. ISSN 1094-3641. 检索于 2009-06-28.{{cite journal}}: CS1 维护: 日期和年份 (链接) CS1 维护: 日期格式 (链接) CS1 维护: 多个名称:作者列表 (链接)
  • Rymer, J.,以及 T. McKeever (1986 年 9 月). "FSD Ada 样式指南". IBM 联邦系统部 Ada 协调组。 {{cite journal}}: 引用期刊需要 |journal= (帮助)CS1 维护: 日期和年份 (链接) CS1 维护: 多个名称:作者列表 (链接)
  • SofTech Inc. (1985 年 12 月). "ISEC 可重用性指南" (报告 3285-4-247/2)。 {{cite journal}}: 引用期刊需要 |journal= (帮助)CS1 维护: 日期和年份 (链接) 此外,美国陆军信息系统工程司令部。马萨诸塞州沃尔瑟姆。
  • Stark M.,以及 E. Seidewitz (1987 年 3 月). "迈向面向通用对象的 Ada 生命周期". 联合 Ada 会议论文集. 第五届 Ada 技术全国会议和华盛顿 Ada 研讨会。第 213–222 页。 
  • St. Dennis, R. (1986 年 5 月). Ada 可重用源代码编写指南 (版本 1.1 版). 明尼苏达州金谷:霍尼韦尔公司系统开发部。报告 CSC-86-3:8213。{{cite book}}: CS1 维护: 日期和年份 (链接)
  • VanNeste, K.F. (1986 年 1 月至 2 月). "Ada 编码标准和惯例". ACM SIGAda Ada Letters. 纽约,纽约,美国:计算机协会。VI (1): 41–48. doi:10.1145/382256.382796. ISSN 1094-3641. 检索于 2009-06-28.{{cite journal}}: CS1 维护: 日期和年份 (链接) CS1 维护: 日期格式 (链接)

华夏公益教科书