zur Erlangung des Grades eines

work is the result of several years of research in the field of “software technology”. The field ranges from foundational research in the realm of specification of software and related processes using abstract formal methods, to the very practical and pragmatic analysis of modern software engineering. Because researchers want to focus on single specific problems, there is a trend to concentrate on formal methods in research – oth-erwise the complexity of the modern software engineering context might distract too much from the core problems. On the other hand, the young research assistant (at least me) wants to develop something “useful”, something that solves a problem in practical software engineering. In this field of tension this work evolved. The general goal of my research in this context was to apply formal methods such that they solve real-world problems. This is a challenge, because works that develop formal methods have to abstract from many constraints and peculiarities that do exist when developing software. On the other hand, works that have a purely practical goal, often solve their problems only under certain constraints and a specific context. As a consequence, applying formal methods means to understand both the problem on th