SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Using Ada as a language for a CAD tool development: lessons and experiences
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Two object oriented decomposition methods
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Reusability of Mathematical Software: A Contribution
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
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).