Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους
◄
Προηγούμενη δραστηριότητα
Ομάδα συζητήσεων ειδήσεων
Σημειώσεις Γλωσσών Προδιαγραφής
Γενική εισαγωγή και εισαγωγή στις υπηρεσίες
Το πρόβλημα σχεδιασμού και ανάπτυξης
Σχεδιασμός βασισμένος σε συνιστώσες
Εισαγωγή στις τυπικές μεθόδους
Χρήση αυτομάτων στην περιγραφή πρωτοκόλλων
Ο λογισμός διεργασιών του Hoare
Η γλώσσα LOTOS
H γλώσσα SDL
Δοκιμές
Τελική σειρά ασκήσεων
Μεταφορά σε...
Βαθμοί Β' περιόδου (Σεπτεμβρίου 2010)
Επόμενη δραστηριότητα
►
Είστε εδώ
Μαθήματα
/
►
FDT2010
/
►
Πηγές πληροφοριών
/
►
Βαθμοί Ιουνίου 2010
alt :
http://old-courses.cn.ntua.gr/file.php/31/2publish.pdf