Εμφάνιση απλής εγγραφής

Μοντελοποίηση των κανόνων του παιχνιδιού Blackjack με τυπικές μεθόδους

dc.contributor.advisorBarlas, Konstantinos
dc.contributor.authorΣτίγγας, Κρίτωνας
dc.date.accessioned2024-04-13T12:18:03Z
dc.date.available2024-04-13T12:18:03Z
dc.date.issued2024-03-21
dc.identifier.urihttps://polynoe.lib.uniwa.gr/xmlui/handle/11400/6485
dc.identifier.urihttp://dx.doi.org/10.26265/polynoe-6321
dc.description.abstractΑντικείμενο τις διπλωματικής εργασίας αποτελεί η εφαρμογή των Tυπικών Mεθόδων για τη μοντελοποίηση και επαλήθευση των κανόνων παιχνιδιού BlackJack χρησιμοποιώντας αλγεβρικές προδιαγραφές. Οι αλγεβρικές προδιαγραφές οι οποίες είναι γλώσσες, τεχνικές και εργαλεία βασισμένες στα μαθηματικά, παρέχουν τη δυνατότητα να αναλύσουμε και να επαληθεύσουμε τις ιδιότητες του συστήματος, περιγράφοντας το μέσω μιας αυστηρά μαθηματικά ορισμένης προδιαγραφής. Μέσω τις εκτελέσιμης γλώσσας αλγεβρικών προδιαγραφών CafeOBJ και με την ενσωμάτωση συμπεριφοριακών προδιαγραφών, το παραγόμενο μοντέλο περιγράφει σε μορφή αλγεβρικής οντότητας το παιχνίδι και επιτρέπει τη μελέτη της οντότητας σε κάθε πιθανή κατάσταση θωρακίζοντας το από κακό σχεδιασμό κανόνων.el
dc.format.extent36el
dc.language.isoelel
dc.publisherΠανεπιστήμιο Δυτικής Αττικήςel
dc.rightsΑναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/deed.el*
dc.subjectΤυπικές μέθοδοιel
dc.subjectΑλγεβρικές γλώσσες προδιαγραφώνel
dc.subjectCafeOBJel
dc.subjectΑπόδειξη θεωρήματοςel
dc.subjectΜέθοδος Coinductionel
dc.titleΜοντελοποίηση των κανόνων του παιχνιδιού Blackjack με τυπικές μεθόδουςel
dc.title.alternativeModeling rules of Blackjack using formal methodsel
dc.typeΔιπλωματική εργασίαel
dc.contributor.committeeTroussas, Christos
dc.contributor.committeeΦατούρος, Σταύρος
dc.contributor.facultyΣχολή Μηχανικώνel
dc.contributor.departmentΤμήμα Μηχανικών Πληροφορικής και Υπολογιστώνel
dc.description.abstracttranslatedThe 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


Αρχεία σε αυτό το τεκμήριο

Thumbnail

Αυτό το τεκμήριο εμφανίζεται στις ακόλουθες συλλογές

Εμφάνιση απλής εγγραφής

Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές
Εκτός από όπου επισημαίνεται κάτι διαφορετικό, το τεκμήριο διανέμεται με την ακόλουθη άδεια:
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές