LEADER 04036nam 22006975 450 001 9910349425103321 005 20200705140519.0 010 $a3-319-79108-7 024 7 $a10.1007/978-3-319-79108-1 035 $a(CKB)4100000002892546 035 $a(DE-He213)978-3-319-79108-1 035 $a(MiAaPQ)EBC6314640 035 $a(MiAaPQ)EBC5576937 035 $a(Au-PeEL)EBL5576937 035 $a(OCoLC)1030437740 035 $a(PPN)225550903 035 $a(EXLCZ)994100000002892546 100 $a20180327d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBidirectional Transformations$b[electronic resource] $eInternational Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /$fedited by Jeremy Gibbons, Perdita Stevens 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (IX, 189 p.) 225 1 $aProgramming and Software Engineering ;$v9715 300 $aIncludes index. 311 $a3-319-79107-9 327 $aIntroduction to Bidirectional Transformations -- An Introduction to Triple Graph Grammars as an Implementation of the Delta-Lens Framework -- Modular Edit Lenses -- Principles and Practice of Bidirectional Programming in BiGUL -- Engineering Bidirectional Transformations. 330 $aBidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project "A Theory of Least Change for Bidirectional Transformations", running at the University of Oxford and the University of Edinburgh from 2013 to 2017 and funded by the UK Engineering and Physical Sciences Research Council. The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations. 410 0$aProgramming and Software Engineering ;$v9715 606 $aSoftware engineering 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aDatabase management 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aDatabase management. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 615 24$aDatabase Management. 676 $a511.326 702 $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStevens$b Perdita$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349425103321 996 $aBidirectional Transformations$92273071 997 $aUNINA