|
|
|
|
| LEADER |
03825nam a2200565 4500 |
| 001 |
978-3-319-79108-1 |
| 003 |
DE-He213 |
| 005 |
20191028162648.0 |
| 007 |
cr nn 008mamaa |
| 008 |
180327s2018 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783319791081
|9 978-3-319-79108-1
|
| 024 |
7 |
|
|a 10.1007/978-3-319-79108-1
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 072 |
|
7 |
|a UMZ
|2 thema
|
| 072 |
|
7 |
|a UL
|2 thema
|
| 082 |
0 |
4 |
|a 005.1
|2 23
|
| 245 |
1 |
0 |
|a Bidirectional Transformations
|h [electronic resource] :
|b International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures /
|c edited by Jeremy Gibbons, Perdita Stevens.
|
| 250 |
|
|
|a 1st ed. 2018.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2018.
|
| 300 |
|
|
|a IX, 189 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Programming and Software Engineering ;
|v 9715
|
| 505 |
0 |
|
|a Introduction 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.
|
| 520 |
|
|
|a Bidirectional 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.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Management information systems.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Database management.
|
| 650 |
1 |
4 |
|a Software Engineering/Programming and Operating Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I14002
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|0 http://scigraph.springernature.com/things/product-market-codes/I1603X
|
| 650 |
2 |
4 |
|a Management of Computing and Information Systems.
|0 http://scigraph.springernature.com/things/product-market-codes/I24067
|
| 650 |
2 |
4 |
|a Database Management.
|0 http://scigraph.springernature.com/things/product-market-codes/I18024
|
| 700 |
1 |
|
|a Gibbons, Jeremy.
|e editor.
|0 (orcid)0000-0002-8426-9917
|1 https://orcid.org/0000-0002-8426-9917
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Stevens, Perdita.
|e editor.
|0 (orcid)0000-0002-3975-7612
|1 https://orcid.org/0000-0002-3975-7612
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319791074
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319791098
|
| 830 |
|
0 |
|a Programming and Software Engineering ;
|v 9715
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-79108-1
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
