Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
Proceedings of the GRACE International Meeting on Bidirectional Transformations
BX-2008, 2008.

@proceedings{BX-2008,
	address       = "Shonan, Japan",
	editor        = "Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and Ralf Lämmel and Andy Schürr and James F. Terwilliger",
	month         = "dec",
	pdfurl        = "http://web.archive.org/web/20090723194819/http://grace.gsdlab.org/index.php?title=Schedule",
	title         = "{Proceedings of the GRACE International Meeting on Bidirectional Transformations}",
	year          = 2008,
}

Contents (50 items)

16 ×#modelling
5 ×#bidirectional
2 ×#co-evolution
2 ×#model transformation
2 ×#tutorial

BX-2008-Glueck

Languages Short Talk 1 (RG), p. 1.

BX-2008-Axelsen

Languages Short Talk 2 (HBA), p. 2.

BX-2008-Matsuda

Languages Short Talk 3 (KM), p. 3.

BX-2008-Nakano

Languages Short Talk 4 (KN), p. 4.

BX-2008-Wang

Languages Short Talk 5 (MW), p. 5.

BX-2008-Hu

Languages Short Talk 6 (ZH), p. 6.

BX-2008-Foster

Languages Short Talk 7 (NF), p. 7.

BX-2008-Mu

Languages and Applications Short Talk 1 (SCM), p. 8.

BX-2008-Voigtlaender

Languages and Applications Short Talk 2 (JV), p. 9.

BX-2008-Laemmel

Languages and Applications Short Talk 3 (RL), p. 10.

BX-2008-Lutterkort

Languages and Applications Short Talk 4 (DL), p. 11.

BX-2008-Fisher

Languages and Applications Short Talk 5 (KF), p. 12.

BX-2008-Cunha

Languages and Applications Short Talk 6 (JC), p. 13.

BX-2008-Kato

Languages and Applications Short Talk 7 (HK), p. 14.

BX-2008-Schuerr #modelling

Models Short Talk 1 (AS), p. 15.

BX-2008-Fischer #modelling

Models Short Talk 2 (BF), p. 16.

BX-2008-Pierantonio #modelling

Models Short Talk 3 (AP), p. 17.

BX-2008-Razavi #modelling

Models Short Talk 4 (AR), p. 18.

BX-2008-Czarnecki #modelling

Models Short Talk 5 (KC), p. 19.

BX-2008-Diskin #modelling

Models Short Talk 6 (ZD), p. 20.

BX-2008-Hidaka #modelling

Models Short Talk 7 (SH), p. 21.

BX-2008-Bezivin #modelling

Models and Transformations Short Talk 1 (JB), p. 22.

BX-2008-Ruscio #modelling

Models and Transformations Short Talk 2 (DDR), p. 23.

BX-2008-Vallecillo #modelling

Models and Transformations Short Talk 3 (AV), p. 24.

BX-2008-Wasowski #modelling

Models and Transformations Short Talk 4 (AW), p. 25.

BX-2008-Terwilliger #modelling

Models and Transformations Short Talk 5 (JT), p. 26.

BX-2008-Song #modelling

Models and Transformations Short Talk 6 (HS), p. 27.

BX-2008-Xiong #modelling

Models and Transformations Short Talk 7 (YX), p. 28.

BX-2008-Schuerr1 #graph grammar

Triple Graph Grammar (AS), p. 29.

BX-2008-Voigtlaender1 #bidirectional #theorem

Free Theorems and Bidirectional Transformations (JV), p. 30.

BX-2008-Foster1 #lens

Quotient Lenses (NF), p. 31.

BX-2008-Terwilliger1 #user interface #visual notation

Graphical User Interfaces as Updatable Views (JT), p. 32.

BX-2008-Vallecillo1 #multi #specification

Realizing Correspondences in Multi-viewpoint Specifications (AV), p. 33.

BX-2008-Diskin1 #algebra #semantics

Algebraic Semantics for Model Translation (ZD), p. 34.

BX-2008-Glueck1 #programming language

Reversible Programming Languages (RG), p. 35.

BX-2008-Axelsen1

Reversible Flowchart Languages (HA), p. 36.

BX-2008-Fisher1

Format Inference (KF), p. 37.

BX-2008-Hu1 #parallel

Inversion in Parallelization (ZH), p. 38.

BX-2008-Laemmel1

A Suite for Coupled Grammar Transformations (RL), p. 39.

BX-2008-Matsuda1 #bidirectional #source code

Bidirectionalization of Programs with Duplication through Complement Function Derivation (KM), p. 40.

BX-2008-Wang1 #abstraction #bidirectional

Translucent Abstraction: Safe Views Through Bidirectional Transformations (MW), p. 41.

BX-2008-Kato1

Introduction to UnQL+ (HK), p. 42.

BX-2008-Hidaka1 #bidirectional #graph transformation #using

Bidirectional Graph Transformation using UnCAL (SH), p. 43.

BX-2008-Mu1

Inverse Computation for UnCAL (SCM), p. 44.

BX-2008-Czarnecki1 #bidirectional #modelling

Bidirectional Transformations for Framework-Specific Modeling Languages (KC), p. 45.

BX-2008-Xiong1

Operation-Based Synchronization with Intra-Relation Support (YX), p. 46.

BX-2008-Song1 #architecture #runtime

Architecture-Based Runtime System Management (HS), p. 47.

BX-2008-Ruscio1 #automation #co-evolution #modelling

Automating Co-Evolution in Model-Driven Engineering (DDR), p. 48.

BX-2008-Pierantonio1 #co-evolution #model transformation

Change Propagation in Model Transformation (AP), p. 49.

BX-2008-Nakano1 #model transformation

Typechecking Model Transformation (KN), p. 50.