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

fYear

1999

fDate

1999

Firstpage

143

Lastpage

147

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCIMA.1999.798518

Filename

798518