: an abstract specification language for bidirectional transformations.

Kevin Lano Shichao Fang Shekoufeh Kolahdouz Rahimi

Published in: MoDELS (Companion) (2020)

Keyphrases

specification language
programming language
formal specification
description language
software environment
symbolic execution
requirements specification
high level
object oriented
database
information retrieval
case study