Ada 风格指南/参考书目
外观
< 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.44769。 ISSN 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.45381。 ISSN 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 维护: 日期格式 (链接)