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

Είστε εδώ

 

ΘέμαΌνομαΠεριγραφή
2Παράδοση 1α: Εισαγωγή
Παράδοση 1β: Το πρόβλημα του σχεδιασμού
Παράδοση 2: Σχεδιασμός με συνιστώσες - Εισαγωγή στις τυπικές γλώσσες
Παράδοση 3: Τα αυτόματα και η εφαρμογή τους στην τυπική περιγραφή
Παραδόσεις 6 & 7: Εισαγωγή στη UML
Παραδόσεις 4 & 5: Ο λογισμός διεργασιών του Hoare.
Παράδοση 8: Η γλώσσα LOTOS
3Βαθμοί Ιουνίου 2012Βαθμοί Ιουνίου 2012