Ada Requirements Methodology (ARM)

Authors:
Phillip Crews;Darrell Ward;Jerry Mungle
Affiliations:
-;-;-
Venue:
ACM '82 Proceedings of the ACM '82 conference
Year:
1982

Citing 6
Cited 0

The practical guide to structured systems design: 2nd edition

The practical guide to structured systems design: 2nd edition
Programming with Ada: an introduction by means of graduated examples

Programming with Ada: an introduction by means of graduated examples
Abstraction mechanisms in CLU

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Structured Systems Analysis: Tools and Techniques

Structured Systems Analysis: Tools and Techniques
Object-oriented design

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

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.