Δοκιμή και Έλεγχος Ορθότητας Προγραμμάτων
- δοκιμή προγραμμάτων (program testing)
- μέθοδοι Black-Box, White-Box
- πρόγραμμα πιστοποίησης
- διαδικασία αποσφαλμάτωσης
- τύποι δεδο?ένων και προδιαγραφές της βιβλιοθήκης LEDA
- βασικοί σχεδιαστικοί κανόνες στη LEDA
- γενικευ?ένοι αλγόριθ?οι για γραφή?ατα
