1 Table of Contents: “...-2 -- 4. Semantik, Verifikation und Test -- 4.1 Konzepte für eine Semantikdefinition -- 4.2...”

2 Table of Contents: “...-2 -- 4. Semantik, Verifikation und Test -- 4.1 Konzepte für eine Semantikdefinition -- 4.2...”

3 Table of Contents: “... -- 2. Software-Prüfung durch Tests -- 2.1 Zweck des Testens -- 2.2 Prinzipieller Ablauf eines Tests...”

4 “...Dieses Buch enthält eine Sammlung von Aufgaben, wie sie typischerweise in Übungen und Prüfungen zur...”

5 Table of Contents: “...-Entwicklungswerkzeugen in der Ausbildung — eine kritische Betrachtung -- Einsatz von Werkzeugen in der Software-Technik...”

6 Table of Contents: “... wichtigsten Publikationen -- 10.2 Literaturangaben -- Statt einesNachworts -- Stichwortverzeichnis...”

7 “..., Software-Wartung, Reengineering, WiederverwendungEin Nachwort zum Studium der Softwaretechnik, ein...”