Abstract is missing.
- Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML ModelsNerijus Jankevicius. 2-4 [doi]
- Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and QueriesMichael Bar-Sinai, Gera Weiss, Assaf Marron. 5-11 [doi]
- Concurrency-aware Executable Domain-Specific Modeling Languages as Models of ConcurrencyFlorent Latombe, Xavier Crégut, Marc Pantel. 12-18 [doi]
- Interactive Debugging for Extensible Languages in Multi-Stage Transformation EnvironmentsDomenik Pavletic, Kim Haßlbauer. 19-25 [doi]
- Local Optimizations in Eclipse QVTc and QVTr using the Micro-Mapping Model of ComputationEdward D. Willink. 26-32 [doi]
- xtUML: Current and Next State of a Modeling DialectCortland Starrett. 33-37 [doi]
- SimQRi - A Query-oriented Tool for the Efficient Simulation and Analysis of Process ModelsChristophe Ponsard, Quentin Boucher, Gustavo Ospina. 38-40 [doi]
- On Leveraging Executable Language Engineering for Domain-Specific Transformation LanguagesErwan Bousse, Manuel Wimmer, Wieland Schwinger, Elisabeth Kapsammer. 41-43 [doi]
- On the Executable Nature of ModelsEric Cariou, Olivier Le Goaer, Franck Barbier. 44-46 [doi]