ProMoBox: A Framework for Generating Domain-Specific Property Languages -- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas: Island Parsing Without Shipwrecks -- Eco: A Language Composition -- The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers -- Evaluating the Usability of a Visual Feature Modeling Notation -- A Metamodel Family for Role-Based Modeling and Programming Languages -- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications -- fUML as an Assembly Language for Model Transformation -- Respect Your Parents: How Attribution and Rewriting Can Get Along -- Monto: A Disintegrated Development Environment -- Model Checking of CTL-Extended OCL Specifications -- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation -- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle -- Origin Tracking in Attribute Grammars -- Dynamic Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow -- Test-Data Generation for Xtext (Tool Paper).

This book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in V�aster�as, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.