 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Spezifikation (Anwendungen) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Spezifikationsmethoden
Konkrete Methoden zur Formulierung von Spezifikationen reichen von mathematisch basierten Formeln zur Bechreibung des Ein-/Ausgabeverhaltens über mengentheoretische Beschreibungsmöglichkeiten bis hin zu grafischen Notationen zur Darstellung des Zeitverhaltens eines Systems. Einige dieser Methoden sind:
Heutzutage werden Methoden der formalen Spezifikation bereits in vielen Bereichen der Industrie erfolgreich eingesetzt, da sie viele Vorteile gegenüber den traditionellen Methoden der informellen Spezifikation besitzen. Beispielsweise empfiehlt die NASA den Einsatz formaler Methoden und insbesondere der formalen Spezifikation im Projektmanagement (siehe NASA Formal Methods Guidebook), um die bereits dargestellten Vorteile zu nutzen und damit sowohl Entwicklungskosten als auch Qualität zu optimieren. Rückkehr zu Spezifikation | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Spezifikation (Anwendungen) | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
