We present a novel approach to real-time structured light range scanning. After an analysis
of the underlying assumptions of existing structured light techniques, we derive a new set of …

Contract-based design enriches a component model with properties structured in pairs of
assumptions and guarantees. These properties are expressed in term of the variables at the …

The methodical mastery of interaction scenarios is a key factor for capturing and modeling
system requirements of distributed, reactive systems. Message Sequence Charts (MSCs) …

Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …

Zusammenfassung Die Entwicklung komplexer eingebetteter Softwaresysteme, wie sie
heute beispielsweise in Telekommunikationssystemen, Fahr-oder Flugzeugen oder mit der …

Architecture description languages (ADLs) facilitate model-driven engineering by fostering
reuse of component models. Some of the over 120 ADLs contributed by academia and …

Abstract Specification of interactive distributed systems has been a challenge for decades.
We present an overview of the specification techniques for these systems based on dataflow …

Service-based software systems are a useful concept recently developed to support the
development of systems offering functions (the so-called services) which may be interrelated …

In this paper we introduce our model-driven software engineering method, called
SecureMDD, which facilitates the development of security-critical applications that are based …

In this study, we use well-accepted conceptual assessment instruments, initial state data
such as the SAT, and our own recently developed instruments designed to measure aptitude …