 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Korrektheit |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Die (formale) Korrektheit eines Modells bezüglich seiner (formalen) Spezifikation bedeutet, dass das Modell alle in der Spezifikation festgelegten (formalen) Eigenschaften erfüllt.
Die Korrektheit eines Modells bezüglich einer Spezifikation kann man beispielsweise mit Methoden zur formalen Verifikation nachweisen. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Korrektheit | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| | | ||
| ||||||||||||||
|
