 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Spezifikation (Motivation) |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| In einer Spezifikation werden die wesentlichen Eigenschaften eines zu entwickelnden Systems festgelegt. Die Spezifikation stellt somit die Arbeitsgrundlage der Entwickler eines Produktes dar. An ihr kann in jedem Entwicklungsstadium die Korrektheit des in der Entwicklung befindlichen Produktes überprüft werden.
Die traditionelle Form der Spezifikation in Form einer informellen textuellen Beschreibung von Eigenschaften und Verhalten des betrachteten Systems neigt dazu, wenig präzise zu sein und dadurch Ungenauigkeiten und Mehrdeutigkeiten zu produzieren bzw. im nachhinein nicht mehr eindeutig nachvollziehbar zu sein. Hier bietet der Ansatz einer formalen Spezifikation die Möglichkeit, mit Hilfe einer mathematisch basierten Sprache zunächst eine präzise Beschreibung der Systemeigenschaften zu erstellen, die keine Interpretationsspielräume offen läßt. Dabei findet eine Abstraktion von ablenkenden Details statt, so daß die Beschreibung der Aufgaben des Systems gleichzeitig möglichst allgemein und möglichst vollständig ist, und auch bei Änderungen am System gültig bleibt. Weiterhin ist eine formale Spezifikation sowohl Grundlage als auch zwingend notwendige Voraussetzung für eine Automatisierung der Validierung eines Systems mit Methoden der formalen Verifikation Rückkehr zu Spezifikation | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Spezifikation (Motivation) | ||||
| ||||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
