Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / [electronic resource] :
edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju.
- Cham : Springer International Publishing, 2014.
- 1 online resource (XIV, 354 p. 123 ill.)
- Lecture Notes in Computer Science, 8706 0302-9743 ; .
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).
9783319112459
Computer science. Software engineering. Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Computer simulation. Management information systems.