A formalisation of the copy-modify-merge approach to version control in MDE☆
Under an Elsevier user license
open archive
Keywords
Model-driven engineering
Version control system
Category theory
Diagram predicate framework
Cited by (0)
- ☆
This article expands on the talk given at the 20th Nordic Workshop on Programming Theory, NWPT 2008, Tallinn, 19–21 November 2008.
Copyright © 2010 Elsevier Inc. All rights reserved.