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