According to different studies, data-flow coverage is more effective in exposing errors than common control-flow metrics. However, there are not many suitable and available data-flow analysis tools. This report illustrates the technical details of the implementation of Dacite (Data-flow Coverage...

In this technical report the symbolic execution engine 'Mulib' will be outlined in its architecture, main algorithms, and design decisions. Mulib employs a rather new approach of program transformation (see Section 2) and thus, technical details on the implementation of such a system are thought...

Process-Driven Applications (PDA) combine Business Process Management and less-code approaches. They are typically based on executable process models, human tasks, and adapter code to external software services. Process data is shared across these artifacts, managed by a process engine....

Advances in the area of computing power, data storage capabilities, etc., are changing the way business is done, particularly regarding how businesses use and apply artificial intelligence. To better understand how artificial intelligence is used in supply chain management, this paper identifies...

[Conclusion] As far as we are aware, this study is one of the first to give a comprehensive overview of research on trust in the context of technology. It thus goes beyond previous studies that examine trust in the context of specific technologies in that it uncovers and structures the status...

[Introduction ...] The remainder of this article summarises existing concepts for digital cities, towns, and villages and critically reflects the scope of these concepts (section 2). Section 3 presents selected facets of current research in the area of smart cities and highlights research gaps...

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic object-oriented programming was limited to considering constraints that only involve logic variables of...

The health care sector in Germany has become increasingly important in the scientific field of information systems over the last decades. This development has been reinforced by the demographic change and, more recently, by the current Covid-19 pandemic. Irrespective of the field of work and...

IT/IS strategy is of central importance to practice and many well-developed lines of research have contributed to our understanding of IT/IS strategy. However, throughout the last decade, digitalization has fundamentally transformed the business world and put into question traditional strategy...

Software modernization for business applications is often driven by the need for supporting additional frontend channels such as web or mobile. At the same time, business logic encapsulated by services and the underlying persistence implementation should be reused. In contrast to writing new...