Loading...
-
Die exakte Übereinstimmung
von Systembeschreibung und Systemverhalten
kann garantiert werden -
Verarbeitungslogik
leichter präziser beschreiben -
Nur was man messen kann,
kann man zuverlässig beurteilenDas gilt auch für Software
-
Schon aus der fachlichen Beschreibung
wichtige Mengengerüste direkt ableitenAnzahl der enthaltenen Bedingungen, Aktionen, Regeln, Testfallkonstellationen,...
-
Maschinelle Qualitätssicherung
schon bei den fachlichen BeschreibungenVollständigkeit Redundanzfreiheit Widerspruchsfreiheit
-
Verarbeitungslogik so beschreiben,
dass sie jeder verstehen kannohne dass Programmcode analysiert werden muss
-
Nachdokumentation bestehender Systeme
Toolgestützt und generierungsfähig mit genormten Methoden
Startseite