@inproceedings{304bf2a6d20f4bada75e94f7643647a0,
title = "Meta-level reuse for mastering domain specialization",
abstract = "We reflect on the distinction between modeling and programming in terms of what and how and emphasize the importance of perspectives: what is a model (a what) for the one, may well be a program (a how) for the other. In fact, attempts to pinpoint technical criteria like executability or abstraction for clearly separating modeling from programming seem not to survive modern technical developments. Rather, the underlying conceptual cores continuously converge. What remains is the distinction of what and how separating true purpose from its realization, i.e. providing the possibility of formulating the primary intent without being forced to over-specify. We argue that no unified general-purpose language can adequately support this distinction in general, and propose a meta-level framework for mastering the wealth of required domain-specific languages in a bootstrapping fashion.",
keywords = "Abstract tool specification, Domain-specific tools, Full code generation, Hierarchy, Metamodeling, Modularity, Serviceorientation, Simplicity",
author = "Stefan Naujokat and Johannes Neubauer and Tiziana Margaria and Bernhard Steffen",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.",
year = "2016",
doi = "10.1007/978-3-319-47169-3_16",
language = "English",
isbn = "9783319471686",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "218--237",
editor = "Bernhard Steffen and Tiziana Margaria",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
}