Πλοήγηση ανά Λέξεις-κλειδιά "Αλγεβρικές γλώσσες προδιαγραφών"

Αποτελέσματα 1-2 από 2

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

      Στίγγας, Κρίτωνας (Πανεπιστήμιο Δυτικής Αττικής, 2024-03-21)
      Αντικείμενο τις διπλωματικής εργασίας αποτελεί η εφαρμογή των Tυπικών Mεθόδων για τη μοντελοποίηση και επαλήθευση των κανόνων παιχνιδιού BlackJack χρησιμοποιώντας αλγεβρικές προδιαγραφές. Οι αλγεβρικές προδιαγραφές οι ...

    • Τυπική προδιαγραφή του επιτραπέζιου παιχνιδιού Monopoly 

      Λουκάς, Αναστάσιος (Πανεπιστήμιο Δυτικής Αττικής, 2025-03-04)
      Στην παρούσα διπλωματική εργασία εφαρμόζουμε τις Τυπικές Μεθόδους και συγκεκριμένα τις Αλγεβρικές Προδιαγραφές για την περιγραφή και προδιαγραφή ενός συστήματος κανόνων, ενός υποσυνόλου των κανόνων του επιτραπέζιου ...