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