Η παρούσα διπλωματική εργασία ασχολείται με την μελέτη για την εφαρμογή Τυπικών Μεθόδων στη μοντελοποίηση των υπηρεσιών web της πλατφόρμας επικοινωνίας ‘rocket.chat’. Το μοντέλο που παράγεται περιγράφει το σχεδιασμό ...