An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology

The incrementally modular abstraction hierarchy, which specifies architecture and modeling of cyberworlds and defines the most general invariants at the higher levels and preserving them at the lower levels, are applied to software development to show that its linear increment of modules prevents combinatorial explosion of design- and test-processes.