navigation
hledat
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
statnice:si:a4m33tvs1 [2011/05/26 10:37] tape |
statnice:si:a4m33tvs1 [2025/01/03 18:29] (aktuální) |
||
|---|---|---|---|
| Řádek 4: | Řádek 4: | ||
| * Prezentace toho, že program nedělá něco nepředpokládaného | * Prezentace toho, že program nedělá něco nepředpokládaného | ||
| * Míra toho, kdy program přestává být užitečný (lidem) | * Míra toho, kdy program přestává být užitečný (lidem) | ||
| - | * Je to nesouhlas mezi programem se specifikací | + | * Je to nesouhlas mezi programem se specifikací pouze tehdy, jestliže specifikace existují a jsou správné |
| Řádek 144: | Řádek 144: | ||
| ===== Kritéria korektnosti a použitelnosti ===== | ===== Kritéria korektnosti a použitelnosti ===== | ||
| - | FIXME | ||
| == Komunikace == | == Komunikace == | ||
