## Anthony Anjorin, Jeremy Gibbons

*Proceedings of the Fifth International Workshop on Bidirectional Transformations*

BX, 2016.

@proceedings{BX-2016,
address = "Eindhoven, The Netherlands",
editor = "Anthony Anjorin and Jeremy Gibbons",
ee = "http://ceur-ws.org/Vol-1571",
ee = "https://nbn-resolving.org/urn:nbn:de:0074-1571-4",
publisher = "{CEUR-WS.org}",
series = "{CEUR Workshop Proceedings}",
title = "{Proceedings of the Fifth International Workshop on Bidirectional Transformations}",
volume = 1571,
year = 2016,
}

### Contents (10 items)

- BX-2016-JohnsonR #lens
- Unifying Set-Based, Delta-Based and Edit-Based Lenses (MJ, RDR), pp. 1–13.
- BX-2016-McKinna #approach #bidirectional
- Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal) (JM), p. 14.
- BX-2016-DiskinEPC #bidirectional #formal method #model transformation #nondeterminism
- Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.
- BX-2016-McKinnaS #deployment #equilibrium #how
- How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper) (JM, PS), pp. 32–34.
- BX-2016-Leblebici #approach #consistency #grammarware #graph grammar #towards #traceability
- Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support (EL), pp. 35–39.
- BX-2016-SemerathDHV #co-evolution #logic #modelling #satisfiability #synthesis #using
- Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.
- BX-2016-GottmannNE0E #modelling #multi #towards
- Towards the Propagation of Model Updates along different Views in Multi-View Models (SG, NN, CE, FH0, TE0), pp. 45–60.
- BX-2016-KramerR #automation #bidirectional #model transformation
- Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.
- BX-2016-ZanLKH #bidirectional #library #named
- Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views (TZ, LL, HSK, ZH), pp. 77–89.
- BX-2016-McKinna16a #consistency
- Complements Witness Consistency (JM), pp. 90–94.