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