Software Language Engineering
Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / [electronic resource] :
edited by Krzysztof Czarnecki, Görel Hedin.
- XII, 413 p. 172 illus. online resource.
- Lecture Notes in Computer Science, 7745 0302-9743 ; .
- Lecture Notes in Computer Science, 7745 .
Addressing 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.
This 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.
9783642360893
10.1007/978-3-642-36089-3 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Artificial intelligence.
Computer simulation.
Management information systems.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
Management of Computing and Information Systems.
QA76.7-76.73 QA76.76.C65
005.13
Addressing 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.
This 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.
9783642360893
10.1007/978-3-642-36089-3 doi
Computer science.
Software engineering.
Programming languages (Electronic computers).
Mathematical logic.
Artificial intelligence.
Computer simulation.
Management information systems.
Computer Science.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Simulation and Modeling.
Management of Computing and Information Systems.
QA76.7-76.73 QA76.76.C65
005.13