A formalisation of the copy-modify-merge approach to version control in MDE
From MaRDI portal
(Redirected from Publication:710677)
Recommendations
- Conflict detection for model versioning based on graph modifications
- Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
- Unified versioning using resource description framework
- Odyssey-SCM: An integrated software configuration management infrastructure for UML models
- scientific article; zbMATH DE number 1104383
Cites work
- scientific article; zbMATH DE number 977284 (Why is no real title available?)
- scientific article; zbMATH DE number 2010596 (Why is no real title available?)
- A diagrammatic logic for object-oriented visual modeling
- Constant Complements, Reversibility and Universal View Updates
- Fundamental Approaches to Software Engineering
- Fundamentals of algebraic graph transformation
- Generalized sketches as a framework for completeness theorems. I-III
- Objects, components, models and patterns. 46th international conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30--July 4, 2008. Proceedings.
Cited in
(8)- Conflict detection for model versioning based on graph modifications
- Category-theoretic approach to software systems design
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- A reasoning system for satisfiability of diagrammatic specifications
- A formal approach to the specification and transformation of constraints in MDE
- A formalisation of deep metamodelling
- Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
- Composition of multilevel domain-specific modelling languages
This page was built for publication: A formalisation of the copy-modify-merge approach to version control in MDE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710677)
