Title :
An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology
Author :
Ohmori, Kenji ; Kunii, Tosiyasu L.
Author_Institution :
Comput. & Inf. Sci., Hosei Univ., Koganei
Abstract :
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
Keywords :
software engineering; combinatorial explosion; cyberworld; design-process; linear software development; modular abstraction hierarchy; test-process; Computer architecture; Explosions; Optical fiber testing; Programming; Software design; Software systems; Software testing; System testing; Topology; Unified modeling language; Cyberworlds; adjunction spaces; cellular spaces.; fiber bundles; homotopy; incrementally modular abstraction hierarchy; software development;
Conference_Titel :
Cyberworlds, 2006. CW '06. International Conference on
Conference_Location :
Lausanne
Print_ISBN :
0-7695-2671-3
