000 03542nam a22005415i 4500
001 978-3-642-36127-2
003 DE-He213
005 20200421111201.0
007 cr nn 008mamaa
008 130125s2013 gw | s |||| 0|eng d
020 _a9783642361272
_9978-3-642-36127-2
024 7 _a10.1007/978-3-642-36127-2
_2doi
050 4 _aQA76.7-76.73
050 4 _aQA76.76.C65
072 7 _aUMX
_2bicssc
072 7 _aUMC
_2bicssc
072 7 _aCOM051010
_2bisacsh
072 7 _aCOM010000
_2bisacsh
082 0 4 _a005.13
_223
100 1 _aJ�orges, Sven.
_eauthor.
245 1 0 _aConstruction and Evolution of Code Generators
_h[electronic resource] :
_bA Model-Driven and Service-Oriented Approach /
_cby Sven J�orges.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXXIV, 246 p. 75 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7747
505 0 _aThe state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific code generators for EMF -- Service-oriented combination of code generation frameworks.
520 _aAutomatic code generation is an essential cornerstone of model-driven approaches to software development. Currently, lots of techniques are available that support the specification and implementation of code generators, such as engines based on templates or rule-based transformations. All those techniques have in common that code generators are either directly programmed or described by means of textual specifications. This monograph presents Genesys, a general approach, which advocates the graphical development of code generators for arbitrary source and target languages, on the basis of models and services. In particular, it is designed to support incremental language development on arbitrary metalevels. The use of models allows building code generators in a truly platform-independent and domain-specific way. Furthermore, models are amenable to formal verification methods such as model checking, which increase the reliability and robustness of the code generators. Services enable the reuse and integration of existing code generation frameworks and tools regardless of their complexity, and at the same time manifest as easy-to-use building blocks which facilitate agile development through quick interchangeability. Both, models and services, are reusable and thus form a growing repository for the fast creation and evolution of code generators.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aApplication software.
650 1 4 _aComputer Science.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Appl. in Administrative Data Processing.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642361265
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7747
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-36127-2
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53813
_d53813