dc.contributor.advisor | Barlas, Konstantinos | |
dc.contributor.author | Στίγγας, Κρίτωνας | |
dc.date.accessioned | 2024-04-13T12:18:03Z | |
dc.date.available | 2024-04-13T12:18:03Z | |
dc.date.issued | 2024-03-21 | |
dc.identifier.uri | https://polynoe.lib.uniwa.gr/xmlui/handle/11400/6485 | |
dc.identifier.uri | http://dx.doi.org/10.26265/polynoe-6321 | |
dc.description.abstract | Αντικείμενο τις διπλωματικής εργασίας αποτελεί η εφαρμογή των Tυπικών Mεθόδων
για τη μοντελοποίηση και επαλήθευση των κανόνων παιχνιδιού BlackJack
χρησιμοποιώντας αλγεβρικές προδιαγραφές. Οι αλγεβρικές προδιαγραφές οι οποίες
είναι γλώσσες, τεχνικές και εργαλεία βασισμένες στα μαθηματικά, παρέχουν τη
δυνατότητα να αναλύσουμε και να επαληθεύσουμε τις ιδιότητες του συστήματος,
περιγράφοντας το μέσω μιας αυστηρά μαθηματικά ορισμένης προδιαγραφής. Μέσω
τις εκτελέσιμης γλώσσας αλγεβρικών προδιαγραφών CafeOBJ και με την
ενσωμάτωση συμπεριφοριακών προδιαγραφών, το παραγόμενο μοντέλο περιγράφει
σε μορφή αλγεβρικής οντότητας το παιχνίδι και επιτρέπει τη μελέτη της οντότητας σε
κάθε πιθανή κατάσταση θωρακίζοντας το από κακό σχεδιασμό κανόνων. | el |
dc.format.extent | 36 | el |
dc.language.iso | el | el |
dc.publisher | Πανεπιστήμιο Δυτικής Αττικής | el |
dc.rights | Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές | * |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0/deed.el | * |
dc.subject | Τυπικές μέθοδοι | el |
dc.subject | Αλγεβρικές γλώσσες προδιαγραφών | el |
dc.subject | CafeOBJ | el |
dc.subject | Απόδειξη θεωρήματος | el |
dc.subject | Μέθοδος Coinduction | el |
dc.title | Μοντελοποίηση των κανόνων του παιχνιδιού Blackjack με τυπικές μεθόδους | el |
dc.title.alternative | Modeling rules of Blackjack using formal methods | el |
dc.type | Διπλωματική εργασία | el |
dc.contributor.committee | Troussas, Christos | |
dc.contributor.committee | Φατούρος, Σταύρος | |
dc.contributor.faculty | Σχολή Μηχανικών | el |
dc.contributor.department | Τμήμα Μηχανικών Πληροφορικής και Υπολογιστών | el |
dc.description.abstracttranslated | The subject of the thesis is the application of formal methods for modeling and
verifying BlackJack game rules using algebraic specifications. Algebraic
specifications which are languages, techniques and tools based on mathematics,
provide the possibility to analyze and verify the properties of the system by
describing it through a rigorously mathematically defined specification. Through the
executable algebraic specification language CafeOBJ and the integration of
behavioral specifications, the generated model describes the game in the form of an
algebraic entity and allows the entity to be studied in every possible situation,
protecting it from bad rule design. | el |