Abstract Domain-specific languages (DSL) are programming or modeling languages
devoted to a given application domain. There are many tools used to support the …

Abstract Internet of Things (IoT) applications are exposed to harsh conditions due to factors
such as device failure, network problems, or implausible sensor values. We investigate how …

Suitable software languages are crucial to tackling the ever-increasing complexity of
software engineering processes and software products. They model, specify, and test …

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …

Rewriting logic and its implementation Maude are an expressive framework for the formal
specification and verification of software and other kinds of systems. Concurrency is …

Programming languages are complex systems that are usually implemented as monolithic
interpreters and compilers. In recent years, researchers and practitioners gained interest in …

Programming languages are complex software systems integrated across an ecosystem of
different applications such as language compilers or interpreters but also an integrated …

Ralf Lämmel Syntax, Semantics, and Metaprogramming Page 1 Software Languages Ralf
Lämmel Syntax, Semantics, and Metaprogramming Page 2 Software Languages Page 3 Ralf …

Many engineering domains started using generic modeling languages, such as SysML, to
describe or prescribe the systems under development. This raises a gap between the …

Proliferation of modeling languages has produced a great variety of similar languages
whose individual maintenance is challenging and costly. Reusing the syntax and semantics …