Titlebook: Software Language Engineering; 7th International Co Benoît Combemale,David J. Pearce,Jurgen J. Vinju Conference proceedings 2014 Springer I

防水

粗鲁性质

CHYME

Eco: A Language Composition Editor,itor ‘feels’ like a normal text editor, but the user always operates on a valid tree as in a syntax directed editor. This allows us to compose arbitrary syntaxes while still enabling IDE-like features such as name binding analysis.

Cervical-Spine

Gorilla

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation,rbose queries. We present a systematic analysis of approaches to modeling and navigating relations. By unifying and generalizing the features of these approaches, we developed the design of a data modeling language that features first-class relations, n-ary relations, native multiplicities, bidirectional relations and concise navigation.

罗盘

Grievance

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams,cies, we propose a novel SAT-based formalization which can be solved automatically by an off-the-shelf SAT solver. To this end, we present the formal and technical foundations needed for the SAT-encoding, and an implementation inside the Eclipse Modeling Framework (EMF). We evaluate the effectiveness of our approach using grammar-based fuzzing.

mechanical

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers, by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

monochromatic

跟随

fUML as an Assembly Language for Model Transformation,nsformation engine. To this end, a prototype compiler from ATL to fUML has been built, and is described. Finally, we conclude that fUML has some useful properties as candidate common execution language for MDE, but lacks some features.