ΘέμαΌνομαΠεριγραφή
2Παράδοση 1: Γενική εισαγωγή και εισαγωγή στις υπηρεσίες
Παράδοση 2: Το πρόβλημα σχεδιασμού και ανάπτυξης
Παράδοση 3α: Σχεδιασμός με χρήση συνιστωσών
Παράδοση 3β: Εισαγωγή στις τυπικές μεθόδους
Παράδοση 4: Εισαγωγή στη μοντελοποίηση πρωτοκόλλων & υπηρ. με αυτόματα
Παράδοση 5: Εισαγωγή στη μοντελοποίηση συστημάτων με UMLΠαράδοση 5: Εισαγωγή στη μοντελοποίηση συστημάτων με UML
Παράδοση 7: Παραδείγματα μοντελοποίησης συστημάτων με UML
Παράδοση 6 & 8: Λογισμός διεργασιών του Hoare
Παράδοση 9: Εισαγωγή στην SDL
Παράδοση 10: Δοκιμές
3Τελικός βαθμός Α' περιόδου
Τελικός βαθμός Β' περιόδου