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 維護: 日期格式 (連結)