SLE 2010
Call for Papers (source, 27 taggings)
Software language engineering is devoted to topics related to artificial languages in software engineering. The foremost mission of the International Conference on Software Language Engineering (SLE) is to encourage and organize communication between communities that traditionally have looked at software languages from different, more specialized, and yet complementary perspectives. Thus, technologies, methods, experimentsT5E and case studiesT6A from modelwareT6D, grammarwareT6D, and ontologywareT3E serving the objectives of software languages are of particular relevance to SLE.
New at SLE 2010 is a Doctoral Symposium that will provide a supportive yet questioning setting in which PhD students can present their work, including goals, methods, and preliminary results. The Symposium aims to provide students with useful guidance and feedback on various aspects of their research from established researchers and the other student attendees.
Please forward this call to anyone who might be interested.
RESEARCH PAPERS
Research papers should report a substantial research contribution to SLE and/or a successful application of SLE techniques. We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques, and frameworks that support the aforementioned lifecycleT2A activities.
We list examples of tools, techniques, applications, and problems of interest to clarify the types of contributes that we seek:
- Formalisms used in designing and specifying languagesT3A and tools that analyze such language descriptionsT5B
- Language implementation techniquesT4A
- Program and model transformation toolsT4B
- Composition, integrationT1D, and mapping toolsT4B for managing different aspects of software languages or different manifestations of a given language
- TransformationsT4B and transformation languagesT3B between languages and models
- Language evolutionT2B
- Approaches to elicitationT5A, specificationT5A, or verificationT5D of requirements for software languagesT5A
- Language development frameworksT4A, methodologies, techniques, best practices, and tools for the broader language lifecycleT2A covering phases such as analysis, testingT5C , and documentationT2E.
- Design challengesT1A in SLE
- Applications of languages including innovative domain-specific languages or "little" languagesT3C
The preceding list is not exclusive or exhaustive. Visit the conference web site for more information about the scope and topics of interest of SLE, or contact the program co-chairs with questions.
SHORT PAPERS
Short paper may describe interesting or thought-provoking concepts that are not yet fully developed or evaluated, make an initial contribution to challenging research issues in SLE, or discuss and analyze controversial issues in the field.
TOOL DEMONSTRATION PAPERS
Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Submissions may also include an appendix (that will not be published) containing additional screen-shots and discussion of the proposed demonstration.
MINI-TUTORIAL PAPERS
SLE is composed of various research areas, such as grammarware, modelware, language schemasT6D, and semantic technologiesT1B. The cross product of attendees at SLE creates a situation where the contribution from one session may be difficult to understand by those not initiated to the area. To help unite the various communities of SLE 2010, we solicit mini-tutorials that provide discussion points for mapping common ideas between related and complementary research topics of SLE.
List of Papers (2+17+5+2, source)
- 🔥 A Language for Software Variation Research (Martin Erwig)
- Automated Selective Caching for Reference Attribute Grammars (Emma Söderberg, Görel Hedin)
- Reference Attribute Grammars for Metamodel Semantics (Christoff Bürger, Sven Karol, Christian Wende, Uwe Aßmann)
- Modelling GLL Parser Implementations (Adrian Johnstone, Elizabeth Scott)
- Metamodel Usage Analysis for Identifying Metamodel Improvements (Markus Herrmannsdörfer, Daniel Ratiu, Maximilian Koegel)
- Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (Benjamin Braatz, Christoph Brandt)
- Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled (Kacper Bąk, Krzysztof Czarnecki, Andrzej Wąsowski)
- Support for the Evolution of C++ Generic Functions (Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup)
- Automated Co-evolution of GMF Editor Models (Davide Di Ruscio, Ralf Lämmel, Alfonso Pierantonio)
- An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models (Markus Herrmannsdörfer, Sander D. Vermolen, Guido Wachsmuth)
- 🏆 JTL: A Bidirectional and Change Propagating Transformation Language (Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio)
- 🔥 Software Engineering and the Semantic Web: A Match Made in Heaven or in Hell? (Abraham Bernstein)
- A Unified Format for Language Documents (Vadim Zaytsev, Ralf Lämmel)
- Canonical Method Names for Java: Using Implementation Semantics to Identify Synonymous Verbs (Einar W. Høst, Bjarte M. Østvold)
- Subjective-C: Bringing Context to Mobile Platform Programming (Sebastián González, Nicolás Cardozo, Kim Mens, Alfredo Cádiz, Jean-Christophe Libbrecht, Julien Goffaux)
- 🗜️ The Level-Agnostic Modeling Language (Colin Atkinson, Bastian Kennel, Björn Goß)
- 🗜️ Debugging in Domain-Specific Modelling (Raphael Mannadiar, Hans Vangheluwe)
- 🛠️ COPE — A Workbench for the Coupled Evolution of Metamodels and Models (Markus Herrmannsdörfer)
- 🗜️ DSLTrans: A Turing Incomplete Transformation Language (Bruno Barroca, Levi Lúcio, Vasco Amaral, Roberto Félix, Vasco Sousa)
- 🛠️ Translator Generation Using ART (Adrian Johnstone, Elizabeth Scott)
- 🗜️ Empirical Language Analysis in Software Linguistics (Jean-Marie Favre, Dragan Gašević, Ralf Lämmel, Ekaterina Pek)
- 🗜️ Interactive Disambiguation of Meta Programs with Concrete Object Syntax (Lennart C. L. Kats, Karl Trygve Kalleberg, Eelco Visser)
- Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies (Arnaud Hubaux, Quentin Boucher, Herman Hartmann, Raphaël Michel, Patrick Heymans)
- Extending DMM Behavior Specifications for Visual Execution and Debugging (Nils Bandener, Christian Soltenborn, Gregor Engels)
- Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation (Nicolas Genon, Patrick Heymans, Daniel Amyot)
- Featherweight TEX and Parser Correctness (Sebastian Erdweg, Klaus Ostermann)
Organisers