dc.contributor.advisor | Μπάρλας, Κωνσταντίνος | |
dc.contributor.author | Νιαβής, Δημήτριος | |
dc.date.accessioned | 2024-04-12T08:18:51Z | |
dc.date.available | 2024-04-12T08:18:51Z | |
dc.date.issued | 2024-03-21 | |
dc.identifier.uri | https://polynoe.lib.uniwa.gr/xmlui/handle/11400/6472 | |
dc.identifier.uri | http://dx.doi.org/10.26265/polynoe-6308 | |
dc.description.abstract | Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών
Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’.
Το μοντέλο που παράγεται περιγράφει το σχεδιασμό των υπηρεσιών σε μορφή αλγεβρικών
οντοτήτων, επιτρέποντας έτσι την βαθύτερη κατανόηση τους και θωρακίζοντας τες από
σχεδιαστικά σφάλματα. | el |
dc.format.extent | 49 | el |
dc.language.iso | el | el |
dc.publisher | Πανεπιστήμιο Δυτικής Αττικής | el |
dc.rights | Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 4.0 Διεθνές | * |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Διεθνές | * |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Διεθνές | * |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Διεθνές | * |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Διεθνές | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Τυπικές μέθοδοι | el |
dc.subject | Z Notation | el |
dc.title | Τυπική προδιαγραφή web υπηρεσιών για πρωτόκολλα online επικοινωνίας: η περίπτωση του “rocket.chat” | el |
dc.title.alternative | Formal specification of the web services in online chat protocols: the case of “rocket.chat” | el |
dc.type | Διπλωματική εργασία | el |
dc.contributor.committee | Φατούρος, Σταύρος | |
dc.contributor.committee | Troussas, Christos | |
dc.contributor.faculty | Σχολή Μηχανικών | el |
dc.contributor.department | Τμήμα Μηχανικών Πληροφορικής και Υπολογιστών | el |
dc.description.abstracttranslated | The present thesis deals with the study of the application of Standard Methods in the modeling
of the web services of the communication platform 'rocket.chat'. The model produced describes
the design of the services in the form of algebraic entities, thus allowing their deeper
understanding and shielding them from design errors. | el |