跳轉到內容

Ada 風格指南/參考文獻

來自華夏公益教科書,一個開放的書籍,為一個開放的世界

可移植的哲學家用餐示例 · 參考書目

  • ACES
    • 1995a. Ada 編譯器評估系統入門,版本 2.0. 俄亥俄州萊特·帕特森空軍基地:高階語言控制設施 (88 CG/SCTL)。
    • 1995b. Ada 編譯器評估系統讀者指南,版本 2.0. 俄亥俄州萊特·帕特森空軍基地:高階語言控制設施 (88 CG/SCTL)。
    • 1995c. Ada 編譯器評估系統使用者指南,版本 2.0. 俄亥俄州萊特·帕特森空軍基地:高階語言控制設施 (88 CG/SCTL)。
  • Ada 參考手冊
    • 1983. Ada 程式語言參考手冊. 國防部,ANSI/MIL-STD-1815A。
    • 1995. Ada 95 參考手冊,ISO/8652-1995 馬薩諸塞州劍橋:Intermetrics, Inc。
  • AIRMICS - 1990. 軟體複用指南,ASQB-GI-90-015. 美國陸軍管理資訊、通訊和計算機科學研究所。
  • Anderson, T., and R.W. Witty - 1978. 安全程式設計. BIT (Tidscrift Nordisk for Informations Behandling) 18:1-8.
  • ARTEWG - 1986. Ada 執行時實現依賴項目錄. 草案版本. 計算機協會,Ada 特別興趣小組,Ada 執行時環境工作組。
  • Baker, Henry G. - 1991. "一個沉重的想法..." Ada 通訊. 11,2:45.
  • Barbey, S., M. Kempe, and A. Strohmeier - 1994. "使用 Ada 9X 進行高階面向物件程式設計." TRI-Ada '94 教程論文集,第 373-467 頁。
  • Barnes, J.G.P.
    • 1989. Ada 程式設計. 第 3 版. 馬薩諸塞州雷丁:Addison-Wesley.
    • 1996. Ada 95 程式設計. 馬薩諸塞州雷丁:Addison-Wesley.
  • Booch, G.
    • 1986. 使用 Ada 進行軟體工程. 第 2 版. 加利福尼亞州門洛帕克:本傑明/卡明斯出版公司。
    • 1987. 使用 Ada 的軟體元件-結構、工具和子系統. 加利福尼亞州門洛帕克:本傑明/卡明斯出版公司。
    • 1994. 面向物件分析與設計. 第 2 版. 加利福尼亞州門洛帕克:本傑明/卡明斯出版公司。
  • Brosgol, B., R. Eachus, and D. Emery - 1994. 資訊系統中的 Ada:風格指南. 馬薩諸塞州貝德福德:MITRE。
  • CECOM - 1989. CECOM "最終報告-Ada 執行時實現依賴項目錄",CIN; C02092JNB0001。
  • Charette, R.N. - 1986. 軟體工程環境概念與技術. Intertext Publications Inc. 紐約,紐約:麥格勞-希爾公司。
  • Clapp, R.M, T. Mudge, and D.M. Roy - 1990. "基本原理",Ada 通訊. 10,3.
  • Cohen, N.H.
    • 1986. Ada 作為第二語言. 紐約,紐約:麥格勞-希爾公司。
    • 1996. Ada 作為第二語言. 第 2 版. 紐約,紐約:麥格勞-希爾公司。
  • Cohen, N., M. Kamrad, E. Schonberg, and R. Dewar - 1993."Ada 9X 作為第二種 Ada." TRI-Ada '93 教程論文集,第 1115-1196 頁。
  • Conti, R.A. - 1987. Ada 實現中的關鍵執行時設計權衡. 第五屆 Ada 技術全國大會和華盛頓 Ada 研討會聯合 Ada 大會論文集. 第 486-495 頁。
  • Dewar, R. - 1995. 新聞組討論 comp.lang.ada. 1994 年 2 月 11 日. 主題:ADA9X 中的建構函式。
  • Edwards, S. - 1990. 在 Ada 中構建可複用軟體元件的方法,IDA 論文 P-2378. 國防分析研究所。
  • Goforth, A., P. Collard, and M. Marquardt - 1990. "並行 Ada 的效能度量",Ada 通訊. 10,3.
  • Gonzalez, Dean W. - 1991. "'=' 有害",Ada 通訊. 11,2:56.
  • Goodenough, J., and L. Sha - 1988. 優先順序上限協議:一種最小化高優先順序 Ada 任務阻塞的方法,技術報告 SEI-SSR-4. 賓夕法尼亞州匹茲堡:軟體工程研究所。
  • Griest - 1989. "即時 Ada 程式可移植性的限制",1989 年 TRI-Ada 大會論文集,Tom Griest。
  • Hefley, W., J. Foreman, C. Engle, and J. Goodenough - 1992. Ada 採用手冊:專案經理指南,版本 2.0. CMU/SEI-92-TR-29. 賓夕法尼亞州匹茲堡:軟體工程研究所。
  • Honeywell - 1986. 在 Ada 中編寫可複用原始碼的指南. 企業系統開發部門. 版本 1.1. CSC-86-3:8213。
  • IEEE 詞典 - 1984. IEEE 電氣與電子術語標準詞典. ANSI/IEEE STD 100-1984。
  • Intermetrics - 1995. Ada-1987 到 1995 的更改,版本 6.0. ISO/IEC 8652:1995(E), 1995.
  • Jacobson, I. et al. - 1992. 面向物件軟體工程. 馬薩諸塞州雷丁:Addison-Wesley.
  • Knight, J. - 1990. "關於 Ada 效能的評估",Ada 通訊. 10,3.
  • MacLaren, L. - 1980. 在即時系統中逐步發展到 Ada. ACM Sigplan 通知. 15(11):146-155.
  • Matthews, E.R. - 1987. 關於 Ada I/O 可移植性的觀察. ACM Ada 通訊. VII(5): 100-103.
  • Melliar-Smith, P.M., and B. Randell - 1987. 軟體可靠性:程式異常處理的作用. ACM Sigplan 通知. 12(3):95-100.
  • NASA 1987. Ada 風格指南. 版本 1.1, SEL-87-002. 馬里蘭州格林貝爾特:NASA,戈達德太空飛行中心。
  • 1992. Ada 效率指南. 技術說明 552-FDD-91/068R0UD0. 馬里蘭州格林貝爾特:NASA,戈達德太空飛行中心。
  • Newport, J.R. - 1995. "即時系統的效能模型",Ada 通訊. 15,2.
  • Nissen, J., and P. Wallis - 1984. Ada 的可移植性和風格. 劍橋大學出版社。
  • Pappas, F. - 1985. Ada 可移植性指南. DTIC/NTIS #AD-A160 390.
  • Pyle, I.C. - 1985. Ada 程式語言. 第 2 版. 英國:皮爾森教育。
  • 基本原理 - 1995. Ada 95 基本原理,馬薩諸塞州劍橋:Intermetrics, Inc。
  • Rosen, J.P. 1987. 為“使用”子句辯護. ACM Ada 通訊. VII(7):77-81.
  • 1995. Ada 9X 中類的命名約定. ACM Ada 通訊. VXV(2):54-58.
  • Ross, D. - 1989. 被動迭代器的形式. ACM Ada 通訊. IX(2):102-105.
  • Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen - 1991. 面向物件建模與設計. 新澤西州恩格爾伍德懸崖:皮爾森教育。
  • Sanden, B. - 1994. 使用 Ada 的軟體系統構造. 新澤西州恩格爾伍德懸崖:皮爾森教育。
  • Schneiderman, B. - 1986. 程式設計師的實證研究:領域、路徑和目的地. 程式設計師的實證研究,由 E. Soloway 和 S. Iyengar 編輯. 新澤西州諾伍德:Ablex 出版公司. 第 1-12 頁。
  • 軟體生產力聯盟
    • 1992. Ada 質量與風格:專業程式設計師指南,SPC-91061-CMC,版本 02.01.01. 弗吉尼亞州赫恩登:軟體生產力聯盟。
    • 1993. ADARTS 指南,SPC-91104-MC,版本 03.00.09. 2 卷. 弗吉尼亞州赫恩登:軟體生產力聯盟。
  • Soloway, E., J. Pinto, S. Fertig, S. Letovsky, R. Lampert, D. Littman, and K. Ewing - 1986. 從認知角度研究軟體文件:現狀報告. 第十一屆年度軟體工程研討會論文集. 報告 SEL-86-006,軟體工程實驗室. 馬里蘭州格林貝爾特:NASA,戈達德太空飛行中心。
  • Taft, S.T.
    • 1994. Ada 9X 中的多重繼承. 馬薩諸塞州劍橋:Intermetrics, Inc。
    • 1995a. 新聞組討論 comp.lang.ada. 1995 年 1 月 22 日. 主題:Ada.strings.bounded 問題?
    • 1995b. 新聞組討論 comp.lang.ada. 1995 年 2 月 11 日. 主題:ADA9X 中的建構函式。
  • Taylor, B. - 1995. Ada 相容性指南,版本 6.0. 英國:Transition Technology Limited。
  • 聯合技術公司 - 1987. CENC 程式設計師指南. 附錄 A:Ada 程式設計標準。
  • Volan, J. - 1994. 新聞組討論 comp.lang.ada. 1995 年 12 月 9 日. 主題:型別擴充套件與繼承。
  • Volz, R.A., Mudge, Naylor, and Mayer - 1985. 將即時 Ada 程式跨機器分佈的一些問題. 使用中的 Ada,國際 Ada 大會論文集. 第 14-16 頁. 巴黎。
  • Wegner, P., and S.B. Zdonik - 1988. 繼承作為一種增量修改機制,或什麼是像,什麼不像. 面向物件程式設計歐洲會議論文集. LNCS 322. 斯普林格出版社。
  • Weidermann, N. - 1990. "Hartstone:硬即時應用的合成基準測試要求",Ada 通訊. 10,3.
  • Wheeler, David A. - 1992. 可複用 Ada 軟體的分析與指南. IDA 論文 P-2765. 弗吉尼亞州亞歷山大:國防分析研究所。

參考書目

華夏公益教科書