DocumentCode
2035661
Title
A formal foundation for object-oriented software evolution
Author
Mens, Tom
Author_Institution
Programming Technol. Lab., Vrije Univ., Brussels, Belgium
fYear
2001
fDate
2001
Firstpage
549
Lastpage
552
Abstract
My PhD thesis claims that the principles behind object-oriented software evolution are independent of a particular domain or phase in the software lifecycle. To validate this claim, a formalism based on graphs and graph rewriting was developed and applied to a particular aspect of software evolution, namely the problem of software upgrading and software merging. When the same piece of software is modified in parallel by different software developers, unexpected inconsistencies can arise. Formal support can be provided to detect and resolve these inconsistencies in a general way
Keywords
category theory; object-oriented programming; rewriting systems; software maintenance; formal foundation; formal support; graph rewriting; object-oriented software evolution; software life cycle; software merging; software upgrading; Aging; Application software; Collaborative software; Contracts; Genetic programming; Merging; Object oriented programming; Software architecture; Software reusability; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Maintenance, 2001. Proceedings. IEEE International Conference on
Conference_Location
Florence
ISSN
1063-6773
Print_ISBN
0-7695-1189-9
Type
conf
DOI
10.1109/ICSM.2001.972769
Filename
972769
Link To Document