Cuprins:
Definiție - Ce înseamnă Semantica Axiomatică?
Semantica axiomatică este expresia semantică a relațiilor inerente unei bucăți de cod. Aceste expresii pot fi de ajutor în descrierea modului în care funcționează o piesă software.
Techopedia explică semantica axiomatică
Un lucru interesant în ceea ce privește semantica axiomatică, în contrast cu alte tipuri de expresii, este faptul că acestea sunt destul de agnostice cu rezultate și condiții specifice. Mai degrabă, semantica axiomatică descrie modul în care funcționează un sistem. O modalitate de a ne gândi la aceasta este folosirea cuvântului rădăcină, axiom, care implică un truism mai larg despre un sistem. De exemplu, o afirmație semantică axiomatică despre o anumită funcție ar descrie ceea ce este menit să facă, ce fel de argumente ia și ce fel de rezultat returnează. Aceasta nu ar necesita cunoașterea variabilelor reale implicate.
