Oliver Kautz

Model-driven separation of concerns for service robotics

2016

Robotics currently adopts model-driven engineering focusing software modeling languages. This forces domain experts to employ these languages instead of enabling application of more appropriate DSLs. This ultimately produces monolithic, hardly reusable applications. We present an …

Semantic Differencing for Message-Driven Component & Connector Architectures

2017

Stepwise refinement is a development methodology in which software components progressively evolve under strict adherence of proven properties. This requires means to check whether a new version of a component - with potentially different interface …