Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους

Είστε εδώ

 

ΘέμαΌνομαΠεριγραφή
1Σημειώσεις Γλωσσών Προδιαγραφής
2Γενική εισαγωγή και εισαγωγή στις υπηρεσίες
Το πρόβλημα σχεδιασμού και ανάπτυξης
Σχεδιασμός βασισμένος σε συνιστώσες
Εισαγωγή στις τυπικές μεθόδους
Χρήση αυτομάτων στην περιγραφή πρωτοκόλλων
Ο λογισμός διεργασιών του Hoare
Η γλώσσα LOTOS
H γλώσσα SDL
Δοκιμές
Τελική σειρά ασκήσεων
3Βαθμοί Ιουνίου 2010
Βαθμοί Β' περιόδου (Σεπτεμβρίου 2010)