Table des matières:
Définition - Que signifie la sémantique axiomatique?
La sémantique axiomatique est une expression sémantique des relations inhérentes à un morceau de code. Ces expressions peuvent être utiles pour décrire le fonctionnement de certains logiciels.
Techopedia explique la sémantique axiomatique
Une chose intéressante à propos de la sémantique axiomatique, contrairement à d'autres types d'expressions, c'est qu'elles sont assez indépendantes des résultats et des conditions spécifiques. La sémantique axiomatique décrit plutôt le fonctionnement d'un système. Une façon de penser à cela est d'utiliser le mot racine, axiome, qui implique un truisme plus large sur un système. Par exemple, une déclaration sémantique axiomatique sur une certaine fonction décrirait ce qu'elle est censée faire, quel type d'argument elle prend et quel type de résultat elle retourne. Cela ne nécessiterait pas la connaissance des variables réelles impliquées.
