 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Problembeschreibung |
|
Unvollständigkeit von Spezifikationen |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Bei der traditionellen Methode der Spezifikation in Form einer informellen textuellen Beschreibung von Eigenschaften und Verhalten des betrachteten Systems besteht das Risiko, nicht unmittelbar offensichtliche, aber nichtsdestoweniger wichtige Eigenschaften des Systems zu übersehen und in der Spezifikation nicht explizit festzulegen. So kann eine Verifikation bezüglich der unvollständigen Spezifikation das Ergebnis eines korrekten Systems liefern, obwohl entscheidende Eigenschaften überhaupt nicht überprüft worden sind. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||||||||||||
|
