Browsing by Keywords "Τυπικές μέθοδοι"
Now showing items 1-3 of 3
-
Μοντελοποίηση των κανόνων του παιχνιδιού Blackjack με τυπικές μεθόδους
(Πανεπιστήμιο Δυτικής Αττικής, 2024-03-21)Αντικείμενο τις διπλωματικής εργασίας αποτελεί η εφαρμογή των Tυπικών Mεθόδων για τη μοντελοποίηση και επαλήθευση των κανόνων παιχνιδιού BlackJack χρησιμοποιώντας αλγεβρικές προδιαγραφές. Οι αλγεβρικές προδιαγραφές οι ... -
Προτυποποίηση του συστήματος αρχείων EXT2 με χρήση τυπικών μεθόδων
(Πανεπιστήμιο Δυτικής Αττικής, 2023-07-18)Η παρούσα διπλωματική εργασία ασχολείται με την χρήση των Τυπικών Μεθόδων μέσα από την προτυποποίηση της διαδικασίας δημιουργίας αρχείων που χρησιμοποιεί το σύστημα αρχείων ext2. Μέσα στην εργασία αυτή παρουσιάζονται ... -
Τυπική προδιαγραφή web υπηρεσιών για πρωτόκολλα online επικοινωνίας: η περίπτωση του “rocket.chat”
(Πανεπιστήμιο Δυτικής Αττικής, 2024-03-21)Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’. Το μοντέλο που παράγεται περιγράφει το σχεδιασμό ...