Putback-based bidirectional programming allows the programmer to write only one putback
transformation, from which the unique corresponding forward transformation is derived for …

View update is an important mechanism that allows updates on a view by translating them
into the corresponding updates on the base relations. The existing literature has shown the …

Among the frameworks of bidirectional transformations proposed for addressing various
synchronisation (consistency maintenance) problems, Foster et al.'s [2007] asymmetric …

Bidirectional transformations (BXs), programs with a forward transformation and a backward
transformation that maintain consistency between input and output, are routinely written in …

Different XML formats are widely used for data exchange and processing, being often
necessary to mutually convert between them. Standard XML transformation languages, like …

Systematic model-driven design and early validation enable engineers to verify that a
reactive system does not violate its requirements before actually implementing it …

Comprehensive privacy mechanisms are essential in the pervasive internet-of-things
systems of today, which are comprised of multiple distributed devices and diverse software …

Language designers usually need to implement parsers and printers. Despite being two
intimately related programs, in practice they are often designed separately, and then need to …

Electronic medical data sharing between stakeholders, such as patients, doctors, and
researchers, can promote more effective medical treatment collaboratively. These sensitive …

Abstract Language designers usually need to implement parsers and printers. Despite being
two related programs, in practice they are designed and implemented separately. This …