| 000 | 05805cam a2201009 i 4500 | ||
|---|---|---|---|
| 001 | on1030437740 | ||
| 003 | OCoLC | ||
| 005 | 20250707091417.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 180404s2018 sz o 101 0 eng d | ||
| 040 |
_aGW5XE _beng _erda _epn _cGW5XE _dYDX _dUPM _dOCLCF _dUWO _dMERER _dCOO _dJG0 _dOCLCQ _dCRU _dOCLCQ _dVT2 _dU3W _dCNCEN _dMUB _dEBLCP _dESU _dWYU _dLVT _dUKMGB _dDKU _dCAUOI _dBRX _dLEAUB _dCEF _dOCLCQ _dS2H _dOCLCQ _dNLW _dOCLCO _dOCLCQ _dCOM _dOCLCO _dOCLCQ _dOCLCO _dOCLCL _dEUN _dOCLCO |
||
| 015 |
_aGBB8K7307 _2bnb |
||
| 016 | 7 |
_a019109879 _2Uk |
|
| 019 |
_a1048150873 _a1048167617 _a1081271018 _a1116184050 _a1162623970 |
||
| 020 |
_a9783319791081 _q(electronic bk.) |
||
| 020 |
_a3319791087 _q(electronic bk.) |
||
| 020 | _a3319791079 | ||
| 020 | _a9783319791074 | ||
| 020 |
_z9783319791074 _q(print) |
||
| 024 | 7 |
_a10.1007/978-3-319-79108-1 _2doi |
|
| 029 | 1 |
_aAU@ _b000062159879 |
|
| 029 | 1 |
_aDKDLA _b820120-katalog:999898376105765 |
|
| 029 | 1 |
_aUKMGB _b019109879 |
|
| 035 |
_a(OCoLC)1030437740 _z(OCoLC)1048150873 _z(OCoLC)1048167617 _z(OCoLC)1081271018 _z(OCoLC)1116184050 _z(OCoLC)1162623970 |
||
| 037 |
_acom.springer.onix.9783319791081 _bSpringer Nature |
||
| 050 | 4 | _aQA601 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aUL _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 072 | 7 |
_aUL _2thema |
|
| 082 | 0 | 4 |
_a511.3/26 _223 |
| 049 | _aMAIN | ||
| 111 | 2 |
_aInternational Summer School on Bidirectional Transformations _d(2016 : _cOxford, England) _963512 |
|
| 245 | 1 | 0 |
_aBidirectional transformations : _bInternational Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / _cJeremy Gibbons, Perdita Stevens (eds.). |
| 264 | 1 |
_aCham, Switzerland : _bSpringer, _c2018. |
|
| 300 | _a1 online resource (ix, 189 pages) | ||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 | _atext file | ||
| 347 | _bPDF | ||
| 490 | 1 |
_aLecture notes in computer science, _x0302-9743 ; _v9715 |
|
| 500 | _aIncludes author index. | ||
| 588 | 0 | _aOnline resource; title from PDF title page (SpringerLink, viewed April 4, 2018). | |
| 505 | 0 | _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. | |
| 520 | _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 | ||
| 650 | 0 |
_aTransformations (Mathematics) _vCongresses. _911985 |
|
| 650 | 0 |
_aSoftware engineering. _914736 |
|
| 650 | 0 |
_aComputer logic. _96177 |
|
| 650 | 0 |
_aDatabase management. _9943 |
|
| 650 | 0 |
_aManagement information systems. _917170 |
|
| 650 | 2 |
_aElectronic Data Processing _96665 |
|
| 650 | 2 |
_aManagement Information Systems _917170 |
|
| 650 | 6 |
_aInformatique. _914930 |
|
| 650 | 6 |
_aGénie logiciel. _919335 |
|
| 650 | 6 |
_aLogique informatique. _919533 |
|
| 650 | 6 |
_aBases de données _xGestion. _916329 |
|
| 650 | 6 |
_aSystèmes d'information de gestion. _934380 |
|
| 650 | 7 |
_adata processing. _2aat _914620 |
|
| 650 | 7 |
_acomputer science. _2aat _9941 |
|
| 650 | 7 |
_aComputer programming _xsoftware development. _2bicssc _953440 |
|
| 650 | 7 |
_aInformation architecture. _2bicssc _953442 |
|
| 650 | 7 |
_aDatabases. _2bicssc _96664 |
|
| 650 | 7 |
_aSoftware Engineering. _2bicssc _914736 |
|
| 650 | 7 |
_aComputers _xProgramming _xGeneral. _2bisacsh _953444 |
|
| 650 | 7 |
_aBusiness & Economics _xInformation Management. _2bisacsh _918715 |
|
| 650 | 7 |
_aComputers _xDatabase Management _xGeneral. _2bisacsh _917880 |
|
| 650 | 7 |
_aComputers _xSoftware Development & Engineering _xGeneral. _2bisacsh _94347 |
|
| 650 | 7 |
_aTransformations (Mathematics) _2fast _93426 |
|
| 655 | 2 |
_aCongress _911670 |
|
| 655 | 7 |
_aproceedings (reports) _2aat |
|
| 655 | 7 |
_aConference papers and proceedings _2fast _96065 |
|
| 655 | 7 |
_aConference papers and proceedings. _2lcgft _96065 |
|
| 655 | 7 |
_aActes de congrès. _2rvmgf _9609890 |
|
| 700 | 1 |
_aGibbons, Jeremy, _d1966- _eeditor. _1https://id.oclc.org/worldcat/entity/E39PCjrQrgHR79Dd4hMw8RtcWC _916709 |
|
| 700 | 1 |
_aStevens, Perdita, _eeditor. _1https://id.oclc.org/worldcat/entity/E39PCjtMQ8hMTcbrXJHDxT78md _917017 |
|
| 758 |
_ihas work: _aBidirectional transformations (Text) _1https://id.oclc.org/worldcat/entity/E39PCGJymKPRR6YgM8YwWXhhtq _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iPrinted edition: _z9783319791074 |
| 830 | 0 |
_aLecture notes in computer science ; _v9715. _x0302-9743 |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/978-3-319-79108-1 |
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL6314640 |
||
| 938 |
_aProQuest Ebook Central _bEBLB _nEBL5576937 |
||
| 938 |
_aYBP Library Services _bYANK _n15253043 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c645768 _d645768 |
||