A formalisation of the copy-modify-merge approach to version control in MDE

Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter. A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming, 79(7):636-658, 2010. [doi]

@article{RossiniRLW10,
  title = {A formalisation of the copy-modify-merge approach to version control in MDE},
  author = {Alessandro Rossini and Adrian Rutle and Yngve Lamo and Uwe Wolter},
  year = {2010},
  doi = {10.1016/j.jlap.2009.10.003},
  url = {http://dx.doi.org/10.1016/j.jlap.2009.10.003},
  tags = {MDE, systematic-approach},
  researchr = {https://researchr.org/publication/RossiniRLW10},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {79},
  number = {7},
  pages = {636-658},
}