Software Language Engineering: 7th International Conference, Sle 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

By Benoit Combemale

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).

• Format: Paperback
• Language: English
• ISBN: 3319112449
• ISBN13: 9783319112442
• Release Date: September 2014
• Publisher: Springer
• Length: 354 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"