跳轉到內容

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

華夏公益教科書