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

Είστε εδώ

 

ΘέμαΌνομαΠεριγραφή
2Παράδοση 1: Γενική εισαγωγή & εισαγωγή στις υπηρεσίες
Παράδοση 2: Υπηρεσίες, κύκλος ζωής
Παράδοση 3: Εισαγωγή στη UMLΠαράδοση 3: Εισαγωγή στη UML
Παράδοση 5: Ασκήσεις UMLΠαράδοση 5: Ασκήσεις UML
Παράδοση 4: Σχεδιασμός με συνιστώσες & εισαγωγή στις τυπικές μεθόδους
Παράδοση 6: Πεπερασμένα αυτόματα στην περιγραφή πρωτοκόλλων
Παράδοση 7: Λογισμός διεργασιών Hoare
Παράδοση 8: Η γλώσσα LOTOS
Παράδοση 9: Η γλώσσα SDL
Ένα παράδειγμα σε SDL: The demon game
Παράδοση 10: Message Sequence Charts
3Βαθμοί Ιουνίου 2011 Βαθμοί Ιουνίου 2011