Qualitätssicherung in der Softwareentwicklung mit formalen Methoden
by from heise online News on (#6G900)
Formale Methoden strukturieren den Entwicklungsprozess von Software, sorgen fur nachhaltige Qualitatssicherung und vermeiden so hohe Folgekosten.