Съдържание:
Определение - Какво означава аксиоматична семантика?
Аксиоматичната семантика са семантични изрази на отношенията, присъщи на част от кода. Тези изрази могат да бъдат полезни при описанието как работи част от софтуера.
Техопедия обяснява аксиоматичната семантика
Интересно за аксиоматичната семантика в сравнение с други видове изрази е, че те са доста агностични на конкретни резултати и условия. По-скоро аксиоматичната семантика описва начина, по който работи една система. Един от начините да се мисли за това е използването на коренната дума аксиома, която предполага някакъв по-широк тройство за дадена система. Например, аксиоматичното семантично изявление за определена функция би описало какво е предназначено да прави, какъв аргумент да вземе и какъв резултат се връща. Това не изисква знания за действителните променливи.
