Verwendung von Metriken in der Verifizierung (Blog 3/5)
Ein häufig unterschätztes Thema in der Verifizierung aber auch in der Entwicklung allgemein sind die Definition und Auswertung von geeigneten Metriken. Unterschätzt dahingehend, dass die Metriken häufig als unnötige „Erbsenzählerei“ und nicht...