Bx@ETAPS

Publications

2016

Oszkár Semeráth, Csaba Debreceni, Ákos Horváth, Dániel Varró
Change Propagation of View Models by Logic Synthesis using SAT solvers. Bx@ETAPS (2016)
James McKinna, Perdita Stevens
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). Bx@ETAPS (2016)
Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. Bx@ETAPS (2016)
James McKinna
Complements Witness Consistency. Bx@ETAPS (2016)
Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann, Thomas Engel
Towards the Propagation of Model Updates along different Views in Multi-View Models. Bx@ETAPS (2016)
Erhan Leblebici
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support. Bx@ETAPS (2016)
James McKinna
Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). Bx@ETAPS (2016)
Max E. Kramer, Kirill Rakhman
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. Bx@ETAPS (2016)
Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS (2016)
Michael Johnson, Robert D. Rosebrugh
Unifying Set-Based, Delta-Based and Edit-Based Lenses. Bx@ETAPS (2016)

volume 1571, 2016

Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Bx@ETAPS 1571 (2016)