Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bew ltigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ans tze und Methoden entwickelt, die in zwei B nden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erl utert werden. Der erste Band widmet sich der Spezifikationen...