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