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