Software Language Engineering

1. Front Matter

   PDF

2. Keynotes

   1. The Field of Software Language Engineering

      • Anneke Kleppe

      Pages 1-7

   2. Model-Driven Engineering Meets Generic Language Technology

      • M. G. J. van den Brand

      Pages 8-15

3. Regular Papers

   1. Session: Language and Tool Analysis and Evaluation

      1. Evaluating the Visual Syntax of <span class="u-small-caps">UML</span>: An Analysis of the Cognitive Effectiveness of the <span class="u-small-caps">UML</span> Family of Diagrams

         • Daniel Moody, Jos van Hillegersberg

         Pages 16-34

      2. Neon: A Library for Language Usage Analysis

         • Jurriaan Hage, Peter van Keeken

         Pages 35-53

      3. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

         • José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo

         Pages 54-73

   2. Session: Concrete and Abstract Syntax

      1. Parse Table Composition

         • Martin Bravenboer, Eelco Visser

         Pages 74-94

      2. Practical Scope Recovery Using Bridge Parsing

         • Emma Nilsson-Nyman, Torbjörn Ekman, Görel Hedin

         Pages 95-113

      3. Generating Rewritable Abstract Syntax Trees

         • Jeffrey L. Overbey, Ralph E. Johnson

         Pages 114-133

   3. Session: Language Engineering Techniques

      1. Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

         • Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor Spence et al.

         Pages 134-150

      2. Engineering a DSL for Software Traceability

         • Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran J. Fernandes

         Pages 151-167

      3. Towards an Incremental Update Approach for Concrete Textual Syntaxes for UUID-Based Model Repositories

         • Thomas Goldschmidt

         Pages 168-177

      4. A Model Engineering Approach to Tool Interoperability

         • Yu Sun, Zekai Demirezen, Frédéric Jouault, Robert Tairas, Jeff Gray

         Pages 178-187

   4. Session: Language Integration and Transformation

      1. Engineering Languages for Specifying Product-Derivation Processes in Software Product Lines

         • Pablo Sánchez, Neil Loughran, Lidia Fuentes, Alessandro Garcia

         Pages 188-207

      2. Transformation Language Integration Based on Profiles and Higher Order Transformations

         • Pieter Van Gorp, Anne Keller, Dirk Janssens

         Pages 208-226

      3. Formalization and Rule-Based Transformation of EMF Ecore-Based Models

         • Bernhard Schätz

         Pages 227-244

   5. Session: Language Implementation and Analysis

      1. A Practical Evaluation of Using TXL for Model Transformation

         • Hongzhi Liang, Juergen Dingel

         Pages 245-264

      2. <span class="u-small-caps">DeFacto</span>: Language-Parametric Fact Extraction from Source Code

         • H. J. S. Basten, P. Klint

         Pages 265-284

      3. A Case Study in Grammar Engineering

         • Tiago L. Alves, Joost Visser

         Pages 285-304

   6. Session: Language Engineering Pearls

      1. Sudoku – A Language Description Case Study

         • Terje Gjøsæter, Ingelin F. Isfeldt, Andreas Prinz

         Pages 305-321

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008, held in Toulouse, France, in September 2008. The 16 revised full papers and 1 revised short paper presented together with 1 tool demonstration paper and 2 keynote lectures were carefully reviewed and selected from 106 initial submissions. The papers are organized in topical sections on language and tool analysis and evaluation, concrete and abstract syntax, language engineering techniques, language integration and transformation, language implementation and analysis, as well as language engineering pearls.

• Java
• Unified Modeling Language (UML)
• abstract syntax
• aspect-oriented modeling
• concrete syntax
• domain-specific languages
• embedded modeling languages
• error detection
• formal methods
• formal semantics
• functional programming
• generic programming
• graph transformation systems
• model
• modeling

• School of Computing and Information Systems, Athabasca University, Athabasca, Canada

  Dragan Gašević

• Fachbereich 4, Institut für Informatik, Universität Koblenz-Landau, Koblenz, Germany

  Ralf Lämmel

• Department of Computer Science and Engineering, University of Minnesota, Minneapolis, USA

  Eric Wyk

Policies and ethics