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.