Cours Ada fait à l’IUT d’Aix-En-Provence

Enseigner Ada (pourquoi ?, à qui ?, comment !) Choisir un langage : entre le tentant et le raisonnable

Contenu

L’ensemble du cours est fourni en trois fichiers au format PDF. Il vous faut Acrobat Reader (logiciel gratuit!)

Ils représentent 275 pages ! (un peu plus de 1Mo PDF !) Des signets (touche F5) ont été ajoutés pour faciliter la consultation

Les parties (essentielles) de cours Ada (chapitres) et leurs thèmes :

  • Cours Ada 1 :
    • cours1: historique, langage et norme, bibliographie simple
    • cours1 II : Diagrammes syntaxiques, BNF, littéraux numériques
    • cours1 III : exemples simples, test connaissance généralités
    • cours2 : type prédéfini, constructeur, types discret et scalaire, attributs
    • cours3 : instructions de base (alternative, répétitive, bloc), je retiens 1
    • cours4 : type tableau (contraint, non contraint), attributs, agrégat
    • cours5 : sous programmes (procédure et fonction) paramétrage
    • cours5 bis : E/S simples (String, entier, réel, énumératif), je retiens 2
  • Cours Ada 2 :
    • cours6 : type article (contraint et non contraint) discriminant, mutant
    • cours7 : les paquetages, spécification et réalisation, private, hiérarchie
    • cours8 : les exceptions, levée, traitement, documentation
    • cours9 : généricité, paramètres, instanciation, les E/S, je retiens 3
  • Cours Ada 3 :
    • cours10 : TAD, COO, classes et objets, type tagged, héritage
    • cours11 : les fichiers (texte, séquentiel, direct, flot)
    • TDnumériques : implémentation des entiers et des réels
    • numer1 : les types digits, delta et delta-digits
    • cours12 : le type access, pointeurs Ada, je retiens 4
    • numer2 : les calculs et les réels (dangers et recommandation)
    • cours13 : les expressions
    • cours14 : interfaçage avec C, JGNAT, GtkAda, conclusion
    • cours15 : Testabilité

Vous pouvez aussi télécharger le cours complet.

Ces chapitres sont enseignés à peu près dans cet ordre à l’IUT. Des QCM machine (écrit en Ada et GtkAda) font réviser le cours.

Des QCM papier (épreuve officielle) mesurent les acquisitions. Des TD et TP (100 heures) complètent l’assimilation et la pratique. Les premières heures d’informatique (algorithmique) utilisent aussi Ada et GtkAda.

Bonne lecture et merci de vos commentaires.

Auteur Daniel Feneuille