Software Language Engineering : Third International Conference, SLE 2010, Eindhoven, the Netherlands, October 12-13, 2010, Revised Selected Papers

by Malloy, Brian; Staab, Steffen; van den Brand, Mark

• ISBN13: 9783642194399
• ISBN10: 3642194397
• Edition: Revised
• Format: Paperback
• Copyright: 2011-04-28
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held in Eindhoven, The Netherlands, in October 2010. The 24 papers presented were carefully reviewed and selected from 79 submissions. The book also contains the abstracts of two invited talks. The papers are grouped in topical sections on grammarware, metamodeling, evolution, programming, and domain-specific languages. The short papers and demos included deal with modeling and transformations and translations.

Table of Contents

Keynote
A Language for Software Variation Research (Invited Talk)	p. 1
Grammarware
Automated Selective Caching for Reference Attribute Grammars	p. 2
Reference Attribute Grammars for Metamodel Semantics	p. 22
Modelling GLL Parser Implementations	p. 42
Metamodeling
Metamodel Usage Analysis for Identifying Metamodel Improvements	p. 62
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF	p. 82
Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled	p. 102
Evolution
Support for the Evolution of C++ Generic Functions	p. 123
Automated Co-evolution of GMF Editor Models	p. 143
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models	p. 163
JTL: A Bidirectional and Change Propagating Transformation Language	p. 183
Keynote
Software Engineering and the Semantic Web: A Match Made in Heaven or in Hell? (Invited Talk)	p. 203
Programming
A Unified Format for Language Documents	p. 206
Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs	p. 226
Subjective-C: Bringing Context to Mobile Platform Programming	p. 246
Short Papers and Demos: Modeling
The Level-Agnostic Modeling Language	p. 266
Debugging in Domain-Specific Modelling	p. 276
COPE - A Workbench for the Coupled Evolution of Metamodels and Models	p. 286
Short Papers and Demos: Transformations and Translations
DSLTrans: A Turing Incomplete Transformation Language	p. 296
Translator Generation Using ART (Tools Paper)	p. 306
Empirical Language Analysis in Software Linguistics	p. 316
Interactive Disambiguation of Meta Programs with Concrete Object Syntax	p. 327
Domain-Specific Languages
Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies	p. 337
Extending DMM Behavior Specifications for Visual Execution and Debugging	p. 357
Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation	p. 377
Featherweight TEX and Parser Correctness	p. 397
Author Index	p. 417
Table of Contents provided by Ingram. All Rights Reserved.