1. Introduction
With the advent of the software crisis in the 1960s [9], software quality finally gained a wide recognition. Spectacular disasters like the crash of Ariane 5 [2], [21] were noticed by the general public. Reports on extensive projects that are not only delayed, but exceed the allowed budget by far due to software problems can be found in the media regularly. In Germany e.g. the road charge-project “Toll Collect” or the currently introduced electronic health insurance card (“Elek-tronische Gesundheitskarte”) have been subject to lively public and political discussion. Unfortunately, evidence of failing software projects can be found widely [8].