Зміст:
Визначення - Що означає аксіоматична семантика?
Аксіоматична семантика - це смислові вирази зв’язків, притаманних фрагменту коду. Ці вирази можуть бути корисними для опису роботи певного програмного забезпечення.
Техопедія пояснює аксіоматичну семантику
Цікава річ щодо аксіоматичної семантики на відміну від інших типів виразів полягає в тому, що вони є досить агностичними щодо конкретних результатів та умов. Швидше, аксіоматична семантика описує спосіб роботи системи. Один із способів думати про це - використання кореневого слова - аксіома, що передбачає деяку ширшу істину щодо системи. Наприклад, аксіоматичне семантичне висловлювання про певну функцію описувало б, що вона має на меті робити, який аргумент бере і який результат отримує. Для цього не знадобиться знання фактичних змінних.
