An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Kenji Ohmori Articles by Tosiyasu L. Kunii

2006 International Conference on Cyberworlds (CW'06)

Lausanne, Switzerland

November 28-November 29

ISBN: 0-7695-2671-3

	ASCII Text	x
	Kenji Ohmori, Tosiyasu L. Kunii, "An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology," Cyberworlds, International Conference on, pp. 216-223, 2006 International Conference on Cyberworlds (CW'06), 2006.

	BibTex	x
	@article{ 10.1109/CW.2006.14, author = {Kenji Ohmori and Tosiyasu L. Kunii}, title = {An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology}, journal ={Cyberworlds, International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2671-3}, pages = {216-223}, doi = {http://doi.ieeecomputersociety.org/10.1109/CW.2006.14}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Cyberworlds, International Conference on TI - An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology SN - 0-7695-2671-3 SP216 EP223 A1 - Kenji Ohmori, A1 - Tosiyasu L. Kunii, PY - 2006 KW - Cyberworlds KW - software development KW - incrementally modular abstraction hierarchy KW - fiber bundles KW - homotopy KW - adjunction spaces KW - cellular spaces. VL - 0 JA - Cyberworlds, International Conference on ER -

Kenji Ohmori, Hosei University, Japan

Tosiyasu L. Kunii, Kanazawa Institute of Technology, Japan

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CW.2006.14

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.

Index Terms:

Cyberworlds, software development, incrementally modular abstraction hierarchy, fiber bundles, homotopy, adjunction spaces, cellular spaces.

Citation:

Kenji Ohmori, Tosiyasu L. Kunii, "An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology," cw, pp.216-223, 2006 International Conference on Cyberworlds (CW'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.