A Formal Model for Software Evolution Based on Hypergraph
Xiying Li · Journal of Shangqiu Vocational and Technical College · 2009
A formal method is the best approach for developing large and complex software systems and comprehending their development and evolution processes,but there are many technical dif?culties in their implement because of the different developing environments and processes of different software.Representing and exploring complicated hierarchy and multidimensional structure of software evolution with the formal model based on hypergraph,can help developers to describe,understand,and control software evolution procedure.Proved by a multimedia system's development,this model works well on the evolution control of software facing varying requirements.