SLE 2013

Took place in Indianapolis, IN, USA
Co-located with SPLASH (GPCE et al)
Conference website
63 abstracts, 56 full submissions, 19 papers: 17 full papers and 2 tools, acceptance rate 34%
Call for Papers
List of Papers
Organisers
Tags requested:
- T1A T1B T1D T2A T2B T2D T2E T3A T3B T3C T3D T3E T3F T4A T4B T4C T4E T4F T5A T5B T5C T5D T5E T5H T6A T6B T6D
Tags received:
- T1A T1B T1C T1D T1E T2B T2C T3A T3B T3C T3E T4A T4B T4C T4D T4E T4F T5B T5D T5E T5H T6B T6D

Call for Papers (source, 88 taggings)

The 6th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering. SLE’s mission is to encourage and organize communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. Of particular relevance to SLE are technologies, methods, experimentsT5E, and case studiesT6A on software languages from researchers and practitioners who use modeling, grammar, or ontology-basedT3E approaches. Research that bridges, connects and integratesT6D such approaches is particularly welcome.

Scope

The term “software language” refers to artificial languages used in software development. These include general-purpose programming languagesT3D, domain-specific languagesT3C, modeling and metamodeling languagesT3A, data models and ontologiesT3E. Examples include general purpose modeling languagesT3D such as SysML and UML, metamodeling frameworks such as Ecore, MOF or GOPRR, domain-specific modeling languagesT3C for business process modeling, such as BPMN, or embedded systems, such as SimulinkT4E or Modelica, and specialized XML-based and OWL-based languages and vocabularies. The term “software language” is intentionally broad; besides the above categories and examples, it also encompasses implicit approaches to language definition, such as APIsT3F and collections of design patterns.

Software language engineering is the application of systematic, disciplined, and measurable approaches to the development (designT1A, implementation, testingT5C, deploymentT2D), use, deploymentT2D, and maintenanceT2B (evolutionT2B, recoveryT2A, and retirementT2A) of these languages. Of special interest are (1) formal descriptions of languagesT3A that are used to designT1A or generateT4C language-based tools and (2) methods and tools for managing such descriptionsT2B, including modularizationT1D, refactoringT4B, refinement, compositionT1D, versioningT2B, co-evolutionT2B, recoveryT2A, and analysis.

Topics of Interest

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. The topics of interest include, but are not limited to the following:

Formalisms used in designing and specifying languagesT3A, and tools that analyze language descriptionsT5B
Language implementation techniquesT4A: compiler generator toolsT4A, attribute grammar systemsT3A, term-rewriting systemsT4B, functional programming-based combinator libraries; metamodel-based and ontologyT3E tools implementing constraint, rule, view, transformationT4B, and query formalismsT5D and engines.
TransformationsT4B and transformation languagesT3B, as well as program and model transformation toolsT4B, and approaches for mappingT4B between ontologiesT3E.
Language evolutionT2B: Included are extensible languagesT1D and type systemsT1B and their supporting tools and language conversion toolsT4B, approaches for ontologyT3E evolutionT2B, approaches for impact analysis of language evolutionT2B.
Approaches to the elicitationT5A, specificationT5A, and verificationT5D of requirements for software languagesT5A: Examples include the use of requirements engineeringT5A techniques in domain engineering and in the development of domain-specific languagesT3C and the application of logic-based formalismsT5D for verifyingT5D language and domain requirementsT5A.
Language development frameworksT4A, methodologies, techniques, best practices, and tools for the broader language lifecycleT2A covering phases such as analysis, testingT5C, and documentationT2E. For example, frameworks for advanced type or reasoning systemsT1B, constraint mechanisms, tools for metrics collection and language usage analysis, assessing language usabilityT5H, documentationT2E generatorsT4C, visualization backendsT4F, generationT4C of testsT5C for language-based tools, knowledge and process management approaches, as well as IDE supportT4A for many of these activities are of interest.
Integration and interoperation between different approaches to software language engineeringT6D; for example, ways to integrate grammar-based and ontology-basedT3E approaches to language definition.
Design challengesT1A in SLE: Example challenges include finding a balance between specificity and generality in designing domain-specific languagesT3C, between strong static typing and weaker yet more flexible type systemsT1B, or between deep and shallow embeddingT1D approaches, as, for example, in the context of adding type-safe XML and database programming support to general-purpose programming languagesT3D.
Applications of languages including innovative domain-specific languagesT3C or “little” languagesT3C: Examples include policy languages for security or service-oriented architectures, web-engineering with schema-based generatorsT4C or ontology-based annotationsT3E. Of specific interest are the engineering aspects of domain-specific languageT3C support in all of these cases.

The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. The overall principle of SLE is to be broad-minded and inclusive about relevance and scope, and to invest in community building when soliciting and selecting papers.

Types of Submissions

We solicit the following types of papers:

Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 20 pages (in LNCS format).
IndustrialT6B experience papersT6A: These papers discuss practical applicationsT6B of SLE technology with an emphasis on the advantages and disadvantages of the method, techniques, or tools used. These papers must not exceed 10 pages (in LNCS format).
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. These papers must not exceed 10 pages (in LNCS format). 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.

List of Papers (1+17+2+2, source)

Organisers

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.