Click on a search word OR use the drop-down choices to search for a paper.

Show all

2019

Diskin, Zinovy; Konig, Harald; Lawford, Mark

Non-concurrent Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput Technical Report

2019.

Links | BibTeX | Tags: K-Putput, multiary delta lenses, multiple model synchronization

2018

Diskin, Zinovy; König, Harald; Lawford, Mark

Multiple Model Synchronization with Multiary Delta Lenses Inproceedings

In: Fundamental Approaches to Software Engineering., Springer, Cham, 2018, ISBN: 978-3-319-89363-1.

Abstract | Links | BibTeX | Tags: consistency restoration, Framework of algebraic models, lens composition, lenses, MDE, multiary delta lens, multiple model synchronization, reflective updates, update propagation, violated consistency

2017

Diskin, Zinovy; Konig, Harald; Lawford, Mark

Multiple Model Synchronization with Multiary Delta Lenses Technical Report

2017.

Links | BibTeX | Tags: multiary delta lenses, multiple model synchronization