Formale Methode
aus Wikipedia, der freien Enzyklopädie
In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik.
Die Rolle von Formalen Methoden in der Softwaretechnik und in der industriellen Praxis ist zur Zeit umstritten.
Siehe auch:
- Formale Semantik
- Formale Spezifikation
- Formale Verifikation
- Theorembeweisen
- Modellprüfverfahren (Model-Checking)
[Bearbeiten] Weblinks
- Formal Methods Home Page Übersicht über Formale Methoden (en.)
