A survey of issues to be considered in the development of an object-oriented development methodology for Ada

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G Booch, Object-oriented development, IEEE Transactions on Software Engineering, v.12 n.2, p.211-221, Feb. 1986
	2	Grady Booch, Software Engineering with ADA, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1987
	3	3. P. Cohen, "A Conservative Approach to the Use of Ada on Large Systems," Lockheed Missiles & Space Company, Sunnyvale, California, presentation Bay Area SIGADA, Sunnyvale, CA, August 1.8, 1987.
	4	4. E. Seidewitz and M. Stark, General Object Oriented Development, SEL-86-002, NASA Goddard Space Center, 1986.
	5	Ed Seidewitz , Mike Stark, Toward a general object-oriented software development methodology, ACM SIGAda Ada Letters, v.VII n.4, p.54-67, July/Aug. 1987 [doi>10.1145/25314.25315]
	6	6. R. C. Felzinger, Object Oriented Design, EFDPMA Seminar, September/October, 1987.
	7	7. Pragmatics, Inc., Model Based Object-Oriented Design for Ada, 1987.
	8	8. An Object Oriented Design Handbook for Ada Software, Frederick: EVB Software Engineering Inc., 1985.
	9	Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
	10	10. E. Yourdon and L. Constantine, Structured Design, New York: Yourdon Press, 1978.
	11	11. Structured Analysis for Real-Time Systems, New York: Yourdon Press, 1984.
	12	12. Structured Design for Real-Time Systems, New York: Yourdon Press, 1984.
	13	Meilir Page-Jones, The practical guide to structured systems design: 2nd edition, Yourdon Press, Upper Saddle River, NJ, 1988
	14	Paul T. Ward , Stephen J. Mellor, Structured Development for Real-Time Systems, Yourdon Press, Upper Saddle River, NJ, 1986
	15	Derek J. Hatley , Imtiaz A. Pirbhai, Strategies for real-time system specification, Dorset House Publishing Co., Inc., New York, NY, 1987
	16	Chris Gane , Trish Sarson, Structured Systems Analysis: Tools and Techniques, McDonnell Douglas Systems Integration Company, 1977
	17	17. Telephone conversation between the writer and M. Stark, one of the authors of [4-5], 4 January 1988.
	18	Grady Booch, Software engineering with Ada, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1983
	19	19. G. L. Cernosek, H. H. Ipolyi, E. J. Monteiro, and W. L. Pribyl, Common Model Development Project Space Shuttle Proximity Operations Domain Analysis Document NAS 9-17650, McDonnell Douglas Astronautics Company, August 1987.
	20	Stephen M. McMenamin , John F. Palmer, Essential systems analysis, Yourdon Press, Upper Saddle River, NJ, 1984
	21	21. D. Gaumer (Magnavox), "Management Perspectives in Ada: Managing the Transition to Ada," presentation at Ada Expo '87, Boston, MA.
	22	22. D. Firesmith, "SDSAWG Issues and Subissues Report", October 27, 1986.
	23	R. J. A. Buhr, System design with Ada, Prentice-Hall, Inc., Upper Saddle River, NJ, 1984
	24	24. D. M. Roy, "PAMELA II," Ford Aerospace & Communications Corporation, presentation Ada Expo, Boston MA, December 8, 1987.
	25	Stowe Boyd, Object-oriented design and PAMELA, ACM SIGAda Ada Letters, v.VII n.4, p.68-78, July/Aug. 1987 [doi>10.1145/25314.25316]
	26	26. G. W. Cherry, The PAMELA Designer's Handbook, Vol. 1 and 2, Thought^**Tools, 1968.
	27	27. M. I. Jackson, "Developing Ada Programs Using the Vienna Development Method," Software - Practice and Experience 15 (March), 1985, 305-318.
	28	Cliff B. Jones, Software Development: A Rigorous Approach, Prentice Hall PTR, Upper Saddle River, NJ, 1980
	29	29. D. Bjorner and C. B. Jones, Formal Specification and Software Development, Englewood Cliffs: Prentice-Hall, 1980.
	30	30. S. Prehn, I. O. Hansen, S. U. Palm and P. Gobel, "Formal Methods Appraisal: Final Report", ESPRIT Study Report, June, 1983.
	31	George Bate, Mascot 3: an informal introductory tutorial, Software Engineering Journal, v.1 n.3, p.95-102, May 1986
	32	Hugo Simpson, The Mascot method, Software Engineering Journal, v.1 n.3, p.103-120, May 1986
	33	Ken Jackson, Mascot 3 and Ada, Software Engineering Journal, v.1 n.3, p.121-135, May 1986
	34	A R Riddiough, Mascot 3: a testing strategy, Software Engineering Journal, v.1 n.3, p.136-144, May 1986
	35	35. "The Official Handbook of Mascot," (MASCOT 2 RSRE. St, Andrews Rd., Malvern, Wores, March 1985.