Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους
◄
Προηγούμενη δραστηριότητα
Ομάδα συζητήσεων ειδήσεων
Παράδοση 1, μέρος α': Γενική εισαγωγή και εισαγωγή...
Παράδοση 1, μέρος β': Μοντέλα σχεδιασμού
Παράδοση 2: Σχεδιασμός με συνιστώσες και εισαγωγή ...
Παράδοση 3: Αυτόματα και γλώσσες προδιαγραφής
Μεταφορά σε...
Παράδοση 6: Εισαγωγή στη UML (Μέρος 1ο)
Παράδοση 8: Η γλώσσα LOTOS
Παράδοση 9α: Εισαγωγή στη γλώσσα SDL
Παράδοση 9β: Χάρτες ακολουθίας μηνυμάτων
Παράδοση 9γ: Δοκιμές
Παράδοση 10: Ασκήσεις
Αποτελέσματα εξετάσεων κανονικής περιόδου
Επόμενη δραστηριότητα
►
Είστε εδώ
Μαθήματα
/
►
FDT2013
/
►
Πηγές πληροφοριών
/
►
Παράδοση 4 & 5: Λογισμός Hoare
alt :
http://old-courses.cn.ntua.gr/file.php/61/ch7hoare_h.pdf