Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους

Είστε εδώ

 

ΘέμαΌνομαΠεριγραφή
2Παράδοση 1, μέρος α': Γενική εισαγωγή και εισαγωγή στις υπηρεσίες
Παράδοση 1, μέρος β': Μοντέλα σχεδιασμού
Παράδοση 2: Σχεδιασμός με συνιστώσες και εισαγωγή στις τυπικές μεθόδους
Παράδοση 3: Αυτόματα και γλώσσες προδιαγραφής
Παράδοση 4 & 5: Λογισμός Hoare
Παράδοση 6: Εισαγωγή στη UML (Μέρος 1ο)
Παράδοση 8: Η γλώσσα LOTOS
Παράδοση 9α: Εισαγωγή στη γλώσσα SDL
Παράδοση 9β: Χάρτες ακολουθίας μηνυμάτων
Παράδοση 9γ: Δοκιμές
Παράδοση 10: Ασκήσεις
3Αποτελέσματα εξετάσεων κανονικής περιόδου