Image

Μαθήματα Κατεύθυνσης
Περιεχόμενα: Δομή πρωτοκόλλων, Προδιαγραφή και μοντελοποίηση, απαιτήσεις ορθότητας, μηχανές πεπερασμένων καταστάσεων, επαλήθευση πρωτοκόλλων.
Αξιολόγηση: Εργασία με βάρος 100%.
Μέθοδοι αξιολόγησης: Ερωτήσεις σύντομης απάντησης, Ερωτήσεις πολλαπλής επιλογής, Επίλυση προβλημάτων, Γραπτή εργασία, Εργαστηριακή εργασία.
Βιβλιογραφία: