Σχεδιασμός Υπηρεσιών και Πρωτοκόλλων με Τυπικές Μεθόδους
◄
Προηγούμενη δραστηριότητα
Ομάδα συζητήσεων ειδήσεων
Παράδοση 1α: Εισαγωγή
Παράδοση 1β: Το πρόβλημα του σχεδιασμού
Μεταφορά σε...
Παράδοση 3: Τα αυτόματα και η εφαρμογή τους στην τ...
Παραδόσεις 6 & 7: Εισαγωγή στη UML
Παραδόσεις 4 & 5: Ο λογισμός διεργασιών του Hoare.
Παράδοση 8: Η γλώσσα LOTOS
Βαθμοί Ιουνίου 2012
Επόμενη δραστηριότητα
►
Είστε εδώ
Μαθήματα
/
►
FDT2012
/
►
Πηγές πληροφοριών
/
►
Παράδοση 2: Σχεδιασμός με συνιστώσες - Εισαγωγή στις τυπικές γλώσσες
alt :
http://old-courses.cn.ntua.gr/file.php/51/ch3compformal_h.pdf