Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους
◄
Προηγούμενη δραστηριότητα
Ομάδα συζητήσεων ειδήσεων
Παράδοση 1: Γενική εισαγωγή & εισαγωγή στις υπ...
Παράδοση 2: Υπηρεσίες, κύκλος ζωής
Παράδοση 3: Εισαγωγή στη UML
Παράδοση 5: Ασκήσεις UML
Μεταφορά σε...
Παράδοση 6: Πεπερασμένα αυτόματα στην περιγραφή πρ...
Παράδοση 7: Λογισμός διεργασιών Hoare
Παράδοση 8: Η γλώσσα LOTOS
Παράδοση 9: Η γλώσσα SDL
Ένα παράδειγμα σε SDL: The demon game
Παράδοση 10: Message Sequence Charts
Βαθμοί Ιουνίου 2011
Επόμενη δραστηριότητα
►
Είστε εδώ
Μαθήματα
/
►
FDT2011
/
►
Πηγές πληροφοριών
/
►
Παράδοση 4: Σχεδιασμός με συνιστώσες & εισαγωγή στις τυπικές μεθόδους
alt :
http://old-courses.cn.ntua.gr/file.php/39/ch3compformal_h.pdf