Πλοήγηση ανά Λέξεις-κλειδιά "Τυπικές μέθοδοι"

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

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

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

    • Προτυποποίηση του συστήματος αρχείων EXT2 με χρήση τυπικών μεθόδων 

      Ρουμπάτι, Ματέο (Πανεπιστήμιο Δυτικής Αττικής, 2023-07-18)
      Η παρούσα διπλωματική εργασία ασχολείται με την χρήση των Τυπικών Μεθόδων μέσα από την προτυποποίηση της διαδικασίας δημιουργίας αρχείων που χρησιμοποιεί το σύστημα αρχείων ext2. Μέσα στην εργασία αυτή παρουσιάζονται ...

    • Τυπική προδιαγραφή web υπηρεσιών για πρωτόκολλα online επικοινωνίας: η περίπτωση του “rocket.chat” 

      Νιαβής, Δημήτριος (Πανεπιστήμιο Δυτικής Αττικής, 2024-03-21)
      Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’. Το μοντέλο που παράγεται περιγράφει το σχεδιασμό ...

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

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