Ada Style Guide/References

Portable Dining Philosophers Example · Bibliography

  • ACES
    • 1995a. Ada Compiler Evaluation System Primer, version 2.0. Wright-Patterson Air Force Base, Ohio: High Order Language Control Facility (88 CG/SCTL).
    • 1995b. Ada Compiler Evaluation System Reader's Guide, version 2.0. Wright-Patterson Air Force Base, Ohio: High Order Language Control Facility (88 CG/SCTL).
    • 1995c. Ada Compiler Evaluation System User's Guide, version 2.0. Wright-Patterson Air Force Base, Ohio: High Order Language Control Facility (88 CG/SCTL).
  • Ada Reference Manual
    • 1983. Reference Manual for the Ada Programming Language. Department of Defense, ANSI/MIL-STD-1815A.
    • 1995. Ada 95 Reference Manual, ISO/8652-1995 Cambridge, Massachusetts: Intermetrics, Inc.
  • AIRMICS - 1990 . Software Reuse Guidelines, ASQB-GI-90-015. U.S. Army Institute for Research in Management Information, Communications, and Computer Sciences.
  • Anderson, T., and R.W. Witty - 1978. Safe Programming. BIT (Tidscrift Nordisk for Informations Behandling) 18:1-8.
  • ARTEWG - 1986. Catalogue of Ada Runtime Implementation Dependencies. Draft version. Association for Computing Machinery, Special Interest Group for Ada, Ada Run-Time Environments Working Group.
  • Baker, Henry G. - 1991. "A Heavy Thought . . ." Ada Letters. 11,2:45.
  • Barbey, S., M. Kempe, and A. Strohmeier - 1994. "Advanced Object-Oriented Programming With Ada 9X." TRI-Ada '94 Tutorial Proceedings, pp. 373–467.
  • Barnes, J.G.P.
    • 1989. Programming in Ada. 3d ed. Reading, Massachusetts: Addison-Wesley.
    • 1996. Programming in Ada 95. Reading, Massachusetts: Addison-Wesley.
  • Booch, G.
    • 1986. Software Engineering With Ada. 2d ed. Menlo Park, California: The Benjamin/Cummings Publishing Company, Inc.
    • 1987. Software Components With Ada-Structures, Tools and Subsystems. Menlo Park, California: The Benjamin/Cummings Publishing Company, Inc.
    • 1994. Object-Oriented Analysis and Design. 2d ed. Menlo Park, California: The Benjamin/Cummings Publishing Company, Inc.
  • Brosgol, B., R. Eachus, and D. Emery - 1994. Ada for Information Systems: A Style Guide. Bedford, Massachusetts: MITRE.
  • CECOM - 1989. CECOM "Final Report-Catalogue of Ada Runtime Implementation Dependencies," CIN; C02092JNB0001.
  • Charette, R.N. - 1986. Software Engineering Environments Concepts and Technology. Intertext Publications Inc. New York, New York: McGraw-Hill Inc.
  • Clapp, R.M, T. Mudge, and D.M. Roy - 1990. "Rationale," Ada Letters. 10,3.
  • Cohen, N.H.
    • 1986. Ada as a Second Language. New York, New York: McGraw-Hill Inc.
    • 1996. Ada as a Second Language. 2nd edition. New York, New York: McGraw-Hill Inc.
  • Cohen, N., M. Kamrad, E. Schonberg, and R. Dewar - 1993."Ada 9X as a Second Ada." TRI-Ada '93 Tutorial Proceedings, pp. 1115–1196.
  • Conti, R.A. - 1987. Critical Run-Time Design Tradeoffs in an Ada Implementation. Proceedings of the Joint Ada Conference, Fifth National Conference on Ada Technology and Washington Ada Symposium. pp. 486–495.
  • Dewar, R. - 1995. Newsgroup discussion on comp.lang.ada. February 11, 1994. Subject: Constructor in ADA9X.
  • Edwards, S. - 1990. An Approach for Constructing Reusable Software Components in Ada, IDA Paper P-2378. Institute for Defense Analyses.
  • Goforth, A., P. Collard, and M. Marquardt - 1990. "Performance Measurement of Parallel Ada," Ada Letters. 10,3.
  • Gonzalez, Dean W. - 1991. "'=' Considered Harmful," Ada Letters. 11,2:56.
  • Goodenough, J., and L. Sha - 1988. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks, Tech. Rep. SEI-SSR-4. Pittsburgh, Pennsylvania: Software Engineering Institute.
  • Griest - 1989. "Limitations on the Portability of Real Time Ada Programs," Proceedings of the 1989 Tri-Ada Conference, Tom Griest.
  • Hefley, W., J. Foreman, C. Engle, and J. Goodenough - 1992. Ada Adoption Handbook: A Program Manager's Guide, version 2.0. CMU/SEI-92-TR-29. Pittsburgh, Pennsylvania: Software Engineering Institute.
  • Honeywell - 1986. A Guidebook for Writing Reusable Source Code in Ada. Corporate Systems Development Division. Version 1.1. CSC-86-3:8213.
  • IEEE Dictionary - 1984. IEEE Standard Dictionary of Electrical and Electronics Terms. ANSI/IEEE STD 100-1984.
  • Intermetrics - 1995. Changes to Ada-1987 to 1995, version 6.0. ISO/IEC 8652:1995(E), 1995.
  • Jacobson, I. et al. - 1992. Object-Oriented Software Engineering. Reading, Massachusetts: Addison-Wesley.
  • Knight, J. - 1990. "On the Assessment of Ada Performance," Ada Letters. 10,3.
  • MacLaren, L. - 1980. Evolving Toward Ada in Real Time Systems. ACM Sigplan Notices. 15(11):146-155.
  • Matthews, E.R. - 1987. Observations on the Portability of Ada I/O. ACM Ada Letters. VII(5): 100-103.
  • Melliar-Smith, P.M., and B. Randell - 1987. Software Reliability: The Role of Programmed Exception Handling. ACM Sigplan Notices.12(3):95-100.
  • NASA 1987. Ada Style Guide. Version 1.1, SEL-87-002. Greenbelt, Maryland: NASA, Goddard Space Flight Center.
  • 1992. Ada Efficiency Guide. Technical Note 552-FDD-91/068R0UD0. Greenbelt, Maryland: NASA, Goddard Space Flight Center.
  • Newport, J.R. - 1995. "A Performance Model for Real-Time Systems," Ada Letters. 15,2.
  • Nissen, J., and P. Wallis - 1984. Portability and Style in Ada. Cambridge University Press.
  • Pappas, F. - 1985. Ada Portability Guidelines. DTIC/NTIS #AD-A160 390.
  • Pyle, I.C. - 1985. The Ada Programming Language. 2d ed. United Kingdom: Prentice-Hall International.
  • Rationale - 1995. Ada 95 Rationale, Cambridge, Massachusetts: Intermetrics, Inc.
  • Rosen, J.P. 1987. In Defense of the 'Use' Clause. ACM Ada Letters. VII(7):77-81.
  • 1995. A Naming Convention for Classes in Ada 9X. ACM Ada Letters. VXV(2):54-58.
  • Ross, D. - 1989. The Form of a Passive Iterator. ACM Ada Letters. IX(2):102-105.
  • Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen - 1991. Object-Oriented Modeling and Design. Englewood Cliffs, New Jersey: Prentice-Hall.
  • Sanden, B. - 1994. Software Systems Construction With Examples in Ada. Englewood Cliffs, New Jersey: Prentice-Hall.
  • Schneiderman, B. - 1986. Empirical Studies of Programmers: The Territory, Paths and Destinations. Empirical Studies of Programmers, edited by E. Soloway and S. Iyengar. Norwood, NJ: Ablex Publishing Corp. pp. 1–12.
  • Software Productivity Consortium
    • 1992. Ada Quality and Style: Guidelines for Professional Programmers, SPC-91061-CMC, version 02.01.01. Herndon, Virginia: Software Productivity Consortium.
    • 1993. ADARTS Guidebook, SPC-91104-MC, version 03.00.09. 2 vols. Herndon, Virginia: Software Productivity Consortium.
  • Soloway, E., J. Pinto, S. Fertig, S. Letovsky, R. Lampert, D. Littman, and K. Ewing - 1986. Studying Software Documentation From a Cognitive Perspective: A Status Report. Proceedings of the Eleventh Annual Software Engineering Workshop. Report SEL-86-006, Software Engineering Laboratory. Greenbelt, Maryland: NASA, Goddard Space Flight Center.
  • Taft, S.T.
    • 1994. Multiple Inheritance in Ada 9X. Cambridge, Massachusetts: Intermetrics, Inc.
    • 1995a. Newsgroup discussion on comp.lang.ada. January 22, 1995. Subject: Ada.strings.bounded problems?
    • 1995b. Newsgroup discussion on comp.lang.ada. February 11, 1995. Subject: Constructor in ADA9X.
  • Taylor, B. - 1995. Ada Compatibility Guide, version 6.0. United Kingdom: Transition Technology Limited.
  • United Technologies - 1987. CENC Programmer's Guide. Appendix A: Ada Programming Standards.
  • Volan, J. - 1994. Newsgroup discussion on comp.lang.ada. December 9, 1995. Subject: Type extension vs. inheritance.
  • Volz, R.A., Mudge, Naylor, and Mayer - 1985. Some Problems in Distributing Real-Time Ada Programs Across Machines. Ada in Use, Proceedings of the Ada International Conference. pp. 14–16. Paris.
  • Wegner, P., and S.B. Zdonik - 1988. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. Proceedings of the European Conference on Object-Oriented Programming. LNCS 322. Springer-Verlag.
  • Weidermann, N. - 1990. "Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications," Ada Letters. 10,3.
  • Wheeler, David A. - 1992. Analysis and Guidelines for Reusable Ada Software. IDA Paper P-2765. Alexandria, Virginia: Institute for Defense Analyses.

Bibliography