Proceedings of the Fifth International Workshop on Bidirectional Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Anthony Anjorin, Jeremy Gibbons
Proceedings of the Fifth International Workshop on Bidirectional Transformations
BX, 2016.

MDE
DBLP
Scholar
CEUR
?EE?
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.