Resources
Usage
Concepts
- Dominic Wirkner, and Steve Boßelmann.
Towards Reuse on the Meta-Level.
In Electronic Communications of the EASST, Volume 74, 2018.
- Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, and Bernhard Steffen.
CINCO: A Simplicity-Driven Approach to Full Generation of Domain-Specific Graphical Modeling Tools.
In International Journal on Software Tools for Technology Transfer (STTT), first online, 2017.
- Stefan Naujokat.
Heavy Meta. Model-Driven Domain-Specific Generation of Generative Domain-Specific Modeling Tools..
PhD Thesis, Technische Universität Dortmund, Germany, 2017.
- Bernhard Steffen, and Stefan Naujokat.
Archimedean Points: The Essence for Mastering Change.
In LNCS Transactions on Foundations for Mastering Change (FoMaC), 1, 2016.
- Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, and Bernhard Steffen.
Meta-Level Reuse for Mastering Domain Specialization.
In Proc. of the 7th Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 2016.
Applications
- Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, and Bernhard Steffen.
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering.
In Proc. of the 8th Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), 2018.
- Mounir Chadli, Jin H. Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, and Louis-Marie Traonouez.
High-level frameworks for the specification and verification of scheduling problems.
In International Journal on Software Tools for Technology Transfer (STTT), first online, 2017.
(More info)
- Nils Wortmann, Malte Michel, and Stefan Naujokat.
A Fully Model-Based Approach to Software Development for Industrial Centrifuges.
In Proc. of the 7th Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 2016.
- Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, and Bernhard Steffen.
DIME: A Programming-Less Modeling Environment for Web Applications.
In Proc. of the 7th Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 2016.
(More info)
- Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, and Axel Legay
Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems.
In Proc. of the 6th Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), 2014.