MMAIM: a software development method for Ada

ABSTRACT

Traditional methods for software development fail to make use of Ada's unique features to support software engineering principles. Several methods have been proposed to overcome this problem, but shortcomings have been identified with all of them. A method for Ada software development is presented which avoids the shortcomings of existing methods. Further work required on the method is also discussed.

REFERENCES

• 1: [1] Castor, V., and D. Preston, "Programmers Produce More with Ada," Defense Electronics, 1987 Jun.
• 2: Kjell W. Nielsen , Ken Shumate, Designing large real-time systems with Ada: Corrigenda, Communications of the ACM, v.30 n.12, p.1073-1073, Dec. 1987 [doi>10.1145/33447.33454]
• 3: [3] Carter, J., and C. McKeen, letter submitted to the "Forum" of the Communications of the ACM.
• 4: R. J. A. Buhr, System design with Ada, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
• 5: [5] Cherry, G., PAMELA^¿ Designer's Handbook, The Analytic Sciences Corp., 1986.
• 6: Grady Booch, Software engineering with Ada, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1983
• 7: Mike Stark , Ed Seidewitz, Towards a general object-oriented Ada lifecycle, Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium, p.213-222, March 1987, Arlington, Virginia, United States
• 8: William Swartout , Robert Balzer, On the inevitable intertwining of specification and implementation, Communications of the ACM, v.25 n.7, p.438-440, July 1982 [doi>10.1145/358557.358572]
• 9: [9] Brooks, F., Jr., "No Silver Bullet," Computer, 1987 Apr.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Ada

Additional Classification:
  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Languages, Management