Zustzlich
ISO Merkmale
Kontextuelle Aufgabenanalyse
praktische Themen
- Qualitäsmodell
- McCabe
- Programmablaufgraph
- GQM (Zielbaum, Abstraction Sheet)
- Kontextuelle Aufgabenanalyse
- Äquivalenzklassen, -matrix, -tests
- Zustandsübergangsdiagramm und -tabelle
- Kontrollflussgraph
- Primärpfadüberdeckung
- Bedingungsüberdeckung
- Hoare-Kalkül
- Model-Checking