DocumentCode
2905464
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
fYear
2006
fDate
Nov. 2006
Firstpage
216
Lastpage
223
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cyberworlds, 2006. CW '06. International Conference on
Conference_Location
Lausanne
Print_ISBN
0-7695-2671-3
Type
conf
DOI
10.1109/CW.2006.14
Filename
4030848
Link To Document