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

Στίγγας, Κρίτωνας

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

Files in this item

Name:: iceuniwa_171119.pdf
Size:: 949.0Kb
Format:: PDF

View/Open

This item appears in the following Collection(s)

Διπλωματικές εργασίες
Διπλωματικές εργασίες τμήματος Μηχανικών Πληροφορικής και Υπολογιστών

Show simple item record

Except where otherwise noted, this item's license is described as
Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές