Преглед садржаја:
Дефиниција - Шта значи Аксиоматична семантика?
Аксиоматска семантика је семантички израз односа својствених делу кода. Ови изрази могу бити корисни у опису како неки део софтвера функционише.
Техопедија објашњава Аксиоматичну семантику
Занимљива ствар аксиоматске семантике у супротности с другим врстама израза је да су они прилично агностицирани на специфичне резултате и услове. Умјесто тога, аксиоматска семантика описује начин на који функционише систем. Један од начина да се ово размисли је употреба коријенске речи, аксиома, која подразумева шири труизам о систему. На пример, аксиоматична семантичка изјава о одређеној функцији би описала шта она треба да ради, какву аргументацију има и какав резултат враћа. Ово не би захтевало познавање стварних променљивих.
