TY - BOOK AU - Combemale,Benoît AU - Pearce,David J AU - Barais,Olivier AU - Vinju,Jurgen J TI - Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings SN - 9783319112459 PY - 2014/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Software engineering KW - Programming languages (Electronic computers) KW - Mathematical logic KW - Artificial intelligence KW - Computer simulation KW - Management information systems N1 - 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) UR - http://dx.doi.org/10.1007/978-3-319-11245-9 ER -