Phillip Crews
ABSTRACT
This paper describes and evaluates the Ada Requirements Methodology (ARM - a subset of Ada Integrated Methodology) that was developed during a study sponsored by the United States Department of Defense to evaluate design support for embedded systems. ARM combines some traditional structured analysis techniques with the Ada language to develop system requirements. The use of the implementation language (in this case Ada) during the requirements phase of system development is a departure from the concept that requirements and design methodologies should be independent of the implementation language. Reasons for using Ada as a requirements language are addressed in this paper. Additionally, the results of the first application of ARM and some ideas for further study and enhancements are provided.
- 1.Page-Jones, Meilir, The Practical Guide to Structured Systems Design, Yourdon Press, New York, NY, 1981. Google Scholar
Digital Library
- 2.Gane, C. and Saron, T., Structured Systems Analysis, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1979. Google ScholarDigital Library
- 3.SofTech, "The TRAIDEX SADT Model" (An Extract from "Final Report: TRAIDEX Needs and Implementation Study").Google Scholar
- 4.SofTech, "An Introduction to SADT Structured Analysis and Design Technique", Waltham, MA, November, 1976.Google Scholar
- 5.Ross, Douglas T., "Structured Analysis (SA): A Language for Communicating Ideas", Waltham, MA, September 16, 1976.Google Scholar
- 6.Alford, Mack W., "Software Requirements Engineering Methodology at the Age of Two", IEEE, 1978.Google Scholar
- 7.Alford, Mack W., "Software Requirements Engineering Methodology at the Age of Four", IEEE, 1978.Google Scholar
- 8.Peterson, James L., Petri Net Theory and The Modeling of Systems, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1981. Google ScholarDigital Library
- 9.Liskov, B., Snyder, A., Atkinson, R., and Schaffert, C., "Abstraction Mechanisms in CLU", Communications of ACM, Volume 20, Number 8, June, 1977. Google ScholarDigital Library
- 10.Wheeler, Thomas J., "Embedded System Design with Ada as the System Design Language", Memorandum Report presented at DoD's Ada Design Contracts Prebidders' Conference, November 20, 1980.Google Scholar
- 11.Yeh, Zave, Conn, Cole, "Software Requirements: A Report on the State of the Art", Abstract TR-949, October, 1980.Google Scholar
- 12.Wegner, Peter, Programming With Ada An Introduction By Means of Graduated Examples, Prentice-Hall, Inc., Englewood Cliffs, NJ, 1980. Google ScholarDigital Library
- 13.Booch, Grady, "Object-Oriented Design", ACM Ada Letters, Volume I, Number 3, March-April, 1982. Google ScholarDigital Library
- 14.Yourdon, Edward and Constantine, Larry L., Structured Design, Yourdon Press, New York, NY, 1978.Google Scholar
Index Terms
- Ada Requirements Methodology (ARM)
Recommendations
The OMG, CORBA, Orbix and Ada
Special issue: best of WAdaS'96An Object Request Broker (ORB) mediates between applications - including distributed ones. This document presents the design goals and philosophy that lead IONA Technologies to produce the object request broker, Orbix. The Ada language binding is ...
Refinement Methodology for Ada
This paper presents Refinement Methodology (RM) for the design of Ada® programs. The methodology combines stepwise refinement and the information hiding principle. The steps of the methodology are explained and illustrated by an example. A part of the ...
Ada policy
TRI-Ada '90: Proceedings of the conference on TRI-ADA '90The first officially recognized Department of Defense (DoD) policy on Ada was issued in June 1983. At that time the Under Secretary of Defense for Research and Engineering, Dr. Richard DeLauer, issued a memorandum that mandated the use of Ada for all ...
Reviews
Ernest G Booch
This paper provides a description of an Ada requirements methodology that takes a system level specification and maps it into a structured requirements document as input to the design process. The authors discuss the evolution of the methodology from functional analysis methodologies (Yourdon and SADT techniques). In addition, the authors discuss the relationship of the requirements methodology to the Ada programming language, and the importance of various language features that support the methodology. The authors analyze (although not very deeply) the application of the requirements methodology to the development of a message system. The paper concludes with recommendations for further research in the methodology, particularly the application of Ada as a requirements language, considerations of military standards, continuity between design and requirements analysis, and automation of the technique. The paper is not complete enough to enable the reader to understand the details of the requirements methodology, but sufficient information is given to understand its philosophy and general flow.
Access critical reviews of Computing literature here
Become a reviewer for Computing Reviews.
Comments