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

	Ομάδα συζητήσεων ειδήσεων Ομάδα συζήτησης

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