Title :
A formal model for software evolution
Author :
Harn, M. ; Berzins, V. ; Luqi ; Shultes, B.
Author_Institution :
Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
Proposes a formal model with mathematical definitions to represent and explore the complicated hierarchy and multidimensional structure of software evolution. This formalization of software evolution is based on a hypergraph and extended to an evolutionary hypergraph with different software evolution objects. In an evolutionary hypergraph, a top-level software evolution step can be refined into several finer software evolution steps and related top-level software evolution components can be decomposed into finer software evolution components. The hypergraph model, in conjunction with prototyping, can help developers describe and understand software evolution processes. We provide an example of multimedia system evolution to illustrate this formalization
Keywords :
graph theory; multimedia computing; software maintenance; software prototyping; evolutionary hypergraph; formal model; hierarchy; mathematical definitions; multidimensional structure; multimedia system evolution; prototyping; software evolution; top-level component decomposition; History; Mathematical model; Multidimensional systems; Multimedia systems; Object oriented modeling; Programming; Prototypes; Software prototyping; Software reusability; Software systems;
Conference_Titel :
Computational Intelligence and Multimedia Applications, 1999. ICCIMA '99. Proceedings. Third International Conference on
Conference_Location :
New Delhi
Print_ISBN :
0-7695-0300-4
DOI :
10.1109/ICCIMA.1999.798518
