|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daisuke Kinoshita, Keisuke Nakano 0001 |
Bidirectional Certified Programming. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Stephan Seifermann, Jörg Henß |
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Milica Stojkovic, Sven Laux, Anthony Anjorin |
Existing and New Ideas on Least Change Triple Graph Grammars. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Danel Ahman, Tarmo Uustalu |
Taking Updates Seriously. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel |
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Robert D. Rosebrugh |
Universal Updates for Symmetric Lenses. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Zinovy Diskin |
Compositionality of Update Propagation: Lax PutPut. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Perdita Stevens, Jeremy Gibbons |
On Ontologology. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Romina Eramo, Michael Johnson (eds.) |
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. |
BX@ETAPS |
2017 |
DBLP BibTeX RDF |
|
1 | Oszkár Semeráth, Csaba Debreceni, Ákos Horváth 0001, Dániel Varró |
Change Propagation of View Models by Logic Synthesis using SAT solvers. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna, Perdita Stevens |
How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper). |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001 |
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna |
Complements Witness Consistency. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Susann Gottmann, Nico Nachtigall, Claudia Ermel, Frank Hermann 0001, Thomas Engel 0001 |
Towards the Propagation of Model Updates along different Views in Multi-View Models. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Erhan Leblebici |
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | James McKinna |
Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal). |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Max E. Kramer, Kirill Rakhman |
Automated Inversion of Attribute Mappings in Bidirectional Model Transformations. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Anthony Anjorin, Jeremy Gibbons (eds.) |
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 |
2016 |
DBLP BibTeX RDF |
|
1 | Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu |
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Robert D. Rosebrugh |
Unifying Set-Based, Delta-Based and Edit-Based Lenses. |
Bx@ETAPS |
2016 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|