Kazalo:
Opredelitev - Kaj pomeni aksiomatična semantika?
Aksiomatična semantika je pomensko izražanje odnosov, ki so del kosa. Ti izrazi so lahko v pomoč pri opisu dela programske opreme.
Tehopedija razlaga Aksiomatično semantiko
Pri aksiomatični semantiki, ki je v nasprotju z drugimi vrstami izrazov, je zanimivo, da so precej agnosticni na določene rezultate in pogoje. Aksiomatična semantika bolj opisuje način delovanja sistema. Eden od načinov za razmišljanje o tem je uporaba korenske besede, aksiom, ki pomeni nekaj širšega truizma o sistemu. Na primer, aksiomatična semantična izjava o določeni funkciji bi opisala, kaj naj bi naredil, kakšen argument sprejme in kakšen rezultat vrne. To ne bi zahtevalo poznavanja dejanskih spremenljivk.
