Die Notwendigkeit des Einsatzes formal fundierter Methoden in der Softwareentwicklung, z.B. bei sicherheitskritischer Software, als Alternative zum (konventionellen) Software-Engineering wird zunehmend erkannt und akzeptiert, da dadurch z.B. eine frühzeitige Simulation, Verifikation und eine automatische Testfallgenerierung möglich wird. Andererseits haben sich auch Erkenntnisse und Vorgehensweisen des (konventionellen) Software-Engineering in der Praxis bewährt. Ziel ist es daher, durch Symbiose und Integration von konventionellen "best practices" und formalen Methoden des Software-Engineering die jeweiligen Vorteile beider Ansätze zu kombinieren um so zu einer durchgängigen Methodik der Softwareentwicklung im Sinne einer allgemein akzeptierten Konstruktionslehre zu kommen. Neben theoretischen und methodischen Aspekten umfaßt dies auch Werkzeuge und Anwendungen.