Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει Axiomatic Semantics;
Οι αιοματικές σημασιολογίες είναι σημασιολογικές εκφράσεις των σχέσεων που είναι εγγενείς σε ένα κομμάτι κώδικα. Αυτές οι εκφράσεις μπορούν να σας βοηθήσουν να περιγράψετε πώς λειτουργεί κάποιο κομμάτι λογισμικού.
Η Techopedia εξηγεί την Αξιωματική Σημασιολογία
Ένα ενδιαφέρον θέμα για την αξιωματική σημασιολογία σε αντίθεση με άλλους τύπους εκφράσεων είναι ότι είναι αρκετά αγνωστικιστές συγκεκριμένων αποτελεσμάτων και συνθηκών. Αντίθετα, η αξιωματική σημασιολογία περιγράφει τον τρόπο με τον οποίο λειτουργεί ένα σύστημα. Ένας τρόπος να σκεφτούμε αυτό είναι να χρησιμοποιήσουμε τη ριζική λέξη, το αξίωμα, που συνεπάγεται κάποια ευρύτερη αβεβαιότητα για ένα σύστημα. Για παράδειγμα, μια αξιωματική σημασιολογική δήλωση σχετικά με μια συγκεκριμένη συνάρτηση θα περιγράφει τι πρέπει να κάνει, τι είδους επιχειρήματα παίρνει και ποιο αποτέλεσμα επιστρέφει. Αυτό δεν απαιτεί γνώση των πραγματικών μεταβλητών.
