Spezifikation von Bedingungen im objektorientierten Fachentwurf.