Software Language Engineering Body of Knowledge, CfP edition

Topics

T1A

Design

T1B

Static Semantics

T1C

Behavioural Semantics

T1D

Composition

T1E

Reuse

T2A

Lifecycle

T2B

Evolution

T2C

Variability

T2D

Deployment

T2E

Documentation

T3A

Meta-languages

T3B

Transformation Languages

T3C

DSLs

T3D

GPLs

T3E

Ontologies

T3F

API

T4A

Workbenches

T4B

Horizontal Transformation

T4C

Vertical Transformation

T4D

Interpretation

T4E

Simulation

T4F

Visualisation

T4G

AI-for-SLE

T5A

Requirements

T5B

Language Description Analysis

T5C

Testing

T5D

Formal Methods

T5E

Empirical Evaluation

T5F

Performance

T5G

Traceability

T5H

Usability

T6A

Experience Reports

T6B

Industrial

T6C

SLE-for-AI

T6D

Synergies

T6E

Quantum

T6F

CPS/IoT/DT

T6G

Socio-technical

Profiles

• Alphabetically
• Scoreboard

Content (get in touch to add more!)

• Computed evidence (CfPBoK as an artefact)
• Books
• Industrial papers
• Keynotes
• Panels
• Papers
• Posters
• Reports
• SLE Body of Knowledge papers
• Short papers
• Tools
• Vision / new ideas papers

---

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