Issue No.04 - April (1987 vol.13)
V. Rajlich , Department of Computer Science, Wayne State University
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 methodology is a collection of rules by which procedures acquire parameters (called first and second rules for parameters).
software design, Ada, information hiding, life-cycle, methodologies, program design language, programming-in-the-large, programming language constructs
V. Rajlich, "Refinement Methodology for Ada", IEEE Transactions on Software Engineering, vol.13, no. 4, pp. 472-478, April 1987, doi:10.1109/TSE.1987.233183