LEADER 05370nam 22007815 450 001 996465999203316 005 20200703034308.0 010 $a3-642-36088-2 024 7 $a10.1007/978-3-642-36089-3 035 $a(CKB)3400000000125718 035 $a(SSID)ssj0000880073 035 $a(PQKBManifestationID)11546673 035 $a(PQKBTitleCode)TC0000880073 035 $a(PQKBWorkID)10872086 035 $a(PQKB)10888263 035 $a(DE-He213)978-3-642-36089-3 035 $a(MiAaPQ)EBC3070036 035 $a(PPN)168329735 035 $a(EXLCZ)993400000000125718 100 $a20130125d2013 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSoftware Language Engineering$b[electronic resource] $e5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /$fedited by Krzysztof Czarnecki, Görel Hedin 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 413 p. 172 illus.) 225 1 $aProgramming and Software Engineering ;$v7745 300 $aIncludes author index. 311 $a3-642-36089-0 327 $aAddressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain -- Object Grammars: Compositional and Bidirectional Mapping between Text and Graphs -- Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order Attribute Grammars -- Metamodelling for Grammarware Researchers -- Temporal Constraint Support for OCL -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model-to-Platform Transformations -- Model Transformation Co-evolution: A Semi-automatic Approach -- Guided Merging of Sequence Diagrams -- Bridging the Chasm between Executable Metamodeling and Models of Computation -- Grammatical Inference in Software Engineering: An Overview of the State of the Art -- Island Grammar-Based Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars -- TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design -- A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling -- Declarative Name Binding and Scope Rules -- On the Reusable Specification of Non-functional Properties in DSLs -- Modular Well-Definedness Analysis for Attribute Grammars -- Meta-language Support for Type-Safe Access to External Resources -- Approaches and Tools for Implementing Type Systems in Xtext. 330 $aThis book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE?s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces. 410 0$aProgramming and Software Engineering ;$v7745 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aMathematical logic 606 $aArtificial intelligence 606 $aComputer simulation 606 $aManagement information systems 606 $aComputer science 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aArtificial Intelligence. 615 24$aSimulation and Modeling. 615 24$aManagement of Computing and Information Systems. 676 $a005.13 702 $aCzarnecki$b Krzysztof$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHedin$b Görel$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465999203316 996 $aSoftware Language Engineering$9774159 997 $aUNISA