A Formal Foundation for Object-Oriented Software Evolution (2001)
Cached
Download Links
- [prog.vub.ac.be]
- [progftp.vub.ac.be]
- [prog.vub.ac.be]
- DBLP
Other Repositories/Bibliography
| Citations: | 24 - 10 self |
BibTeX
@TECHREPORT{Mens01aformal,
author = {Tom Mens},
title = {A Formal Foundation for Object-Oriented Software Evolution},
institution = {},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
My PhD thesis [7] 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.
