Bi-directional transformations (BX) – Theory and Applications Across Disciplines

Videos from BIRS Workshop

, University of Bonn
- 10:16
Minitutorial: BX in PL
Watch video | Download video: 201312020919-Voigtlaender.mp4 (132M)
, University of York
- 11:43
Minitutorial: BX in SE
Watch video | Download video: 201312021049-Paige.mp4 (188M)
, University of Luxembourg
- 15:28
Minitutorial: BX in GT
Watch video | Download video: 201312021421-Hermann.mp4 (133M)
, Microsoft Corporation
- 16:52
Minitutorial: BX in DB
Watch video | Download video: 201312021551-Terwilliger.mp4 (130M)
, LFCS Edinburgh
- 17:36
Introduction to the Bx Example Repository
Watch video | Download video: 201312021705-Stevens.mp4 (104M)
, Universidade do Minho
- 09:14
Assessing Bidirectional Model Transformation Tools
Watch video | Download video: 201312030902-Cunha.mp4 (38M)
, TU Darmstadt
- 09:25
What we need from the Bx example zoo
Watch video | Download video: 201312030914-Leblebici.mp4 (33M)
, Peking University
- 09:35
Computability of Combinators
Watch video | Download video: 201312030925-Xiong.mp4 (36M)
, University of Twente
- 09:47
What can BX make from Sense?
Watch video | Download video: 201312030935-Rensink.mp4 (38M)
, Techical University of Denmark
- 09:57
Challenging BX as a Software Engineer: What is a problem? How much BX do we need?
Watch video | Download video: 201312030947-Kindler.mp4 (39M)
, Chalmers University
- 10:12
Model/Implementation Synchronisation in Domain-Specific Programming Languages
Watch video | Download video: 201312030957-Wang.mp4 (44M)
, University of Oxford
- 09:18
Incremental Updates and Non-Free Datatypes
Watch video | Download video: 201312040901-Gibbons.mp4 (53M)
, University of Edinburgh
- 09:36
Type Theory and Algebraic BX
Watch video | Download video: 201312040919-McKinna.mp4 (81M)
, Macquarie University
- 09:56
Mathematical foundations for Bx: Symmetric lenses and spans
Watch video | Download video: 201312040942-Johnson.mp4 (60M)
, Chalmers University
- 10:12
Making Semantic Bidirectionalization More Applicable
Watch video | Download video: 201312040957-Wang.mp4 (48M)
, University of Luxembourg
- 11:18
Correctness and Completeness for Incremental Model Synchronisation Based on TGGs
Watch video | Download video: 201312041100-Hermann.mp4 (52M)
, Hasso Plattner Institute für Softwaresystemtechnik GmbH
- 11:36
The Implications of Optimality Results for Incremental Model Synchronization for TGGs
Watch video | Download video: 201312041118-Giese.mp4 (56M)
, Universitat Politècnica de Catalunya (UPC)
- 11:52
Incrementality in Model Transformation with Triple Graph Grammars
Watch video | Download video: 201312041136-Orejas.mp4 (54M)
, National Institute of Informatics
- 12:10
Compositional development framework for bidirectional model transformations based on structural recursion on graphs
Watch video | Download video: 201312041153-Hidaka.mp4 (52M)
, National Institute for Informatics
- 09:14
Validation of Bidirectional Transformation
Watch video | Download video: 201312050856-Hu.mp4 (68M)
, University of Kassel
- 09:33
Doing Model to Model transformations inplace with an intermediate generic graph
Watch video | Download video: 201312050915-Zuendorf.mp4 (60M)
, Peking University
- 09:48
BX from Synchronous Grammars
Watch video | Download video: 201312050933-Xiong.mp4 (48M)
, University of Twente
- 10:03
Semantics Preserving Transformation: An Impossible Dream?
Watch video | Download video: 201312050948-Rensink.mp4 (53M)
, University of Edinburgh
- 11:10
Bidirectionality, traceability and provenance
Watch video | Download video: 201312051050-Cheney.mp4 (54M)
, McMaster University
- 11:26
A Conceptual Framework for BX
Watch video | Download video: 201312051110-Maibaum.mp4 (56M)
, University of Victoria
- 11:44
BX in Database Evolution: Implementation Alternatives and Trade-Offs
Watch video | Download video: 201312051127-Weber.mp4 (50M)
, National Institute of Informatics
- 12:00
BiFlux: A Bidirectional Functional Update Language for XML
Watch video | Download video: 201312051145-Pacheco.mp4 (51M)
, University of Tokyo
- 12:16
Relating a data structure and its text representation: A case study of pretty-printing and parsing
Watch video | Download video: 201312051200-Matsuda.mp4 (52M)
, National Institute of Informatics
- 16:35
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Watch video | Download video: 201312051619-Hidaka.mp4 (57M)
, University of Bremen
- 16:54
Modeling Language Transformations with USE
Watch video | Download video: 201312051635-Gogolla.mp4 (61M)
, University of Luxembourg
- 17:13
HenshinTGG: TGG-Extension of HenshinEMF
Watch video | Download video: 201312051655-Hermann.mp4 (55M)