Obsah:
Definice - Co znamená axiomatická sémantika?
Axiomatická sémantika je sémantická vyjádření vztahů obsažených v určitém kódu. Tyto výrazy mohou být užitečné při popisu toho, jak některá část softwaru funguje.
Techopedia vysvětluje axiomatickou sémantiku
Zajímavá věc o axiomatické sémantice na rozdíl od jiných typů výrazů je, že jsou docela agnostičtí vůči konkrétním výsledkům a podmínkám. Axiomatická sémantika spíše popisuje způsob fungování systému. Jedním ze způsobů, jak o tom přemýšlet, je použití kořenového slova, axiomu, což znamená nějaký širší truismus o systému. Například axiomatický sémantický výrok o určité funkci by popsal, co se má dělat, jaký argument má a jaký výsledek vrací. To by nevyžadovalo znalost skutečných zahrnutých proměnných.
