An environment for Ada software development based on formal specification
ACM SIGAda Ada Letters
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
This paper describes the parameterization of a simple Ada program. Ada was designed to include many programming language constructs that facilitate the development of parameterized software abstractions. By presenting parameterization as a series of incremental steps that separate and refine data abstractions, this paper illustrates certain Ada language features, programming design decisions, and tradeoffs that need to be taken into consideration when developing adaptable, reusable software. Once the parameterization process is quantified, a description of how existing programs can be automatically parameterized is presented.