Sadržaj:
Definicija - Što znači aksiomatična semantika?
Aksiomatična semantika je semantički izraz odnosa svojstvenih komadu koda. Ovi izrazi mogu biti korisni u opisivanju kako neki dio softvera radi.
Tehopedija objašnjava Aksiomatičku semantiku
Zanimljivost kod aksiomatske semantike u usporedbi s drugim vrstama izraza jest da su oni prilično agnosticirani na specifične rezultate i uvjete. Umjesto toga, aksiomatska semantika opisuje način na koji sustav funkcionira. Jedan od načina da se to razmisli je upotreba korijenske riječi, aksiom, koja podrazumijeva neki širi truizam o sustavu. Na primjer, aksiomatična semantička izjava o određenoj funkciji opisala bi što se želi raditi, kakvu argumentaciju ima i kakav rezultat vraća. Ovo ne bi zahtijevalo poznavanje stvarnih varijabli koje su uključene.
