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