We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
A Software Development Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic stand...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...