From ffcd62cd505b8a6b5ddca085dbefe05eebe33197 Mon Sep 17 00:00:00 2001 From: gwen Date: Sun, 30 Apr 2017 08:59:55 +0200 Subject: [PATCH] cours : premiere version --- algorithmique/cours/annexes/surete.txt | 2 +- algorithmique/cours/modules.txt | 8 +++++--- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/algorithmique/cours/annexes/surete.txt b/algorithmique/cours/annexes/surete.txt index 2b275f0..44da9b7 100644 --- a/algorithmique/cours/annexes/surete.txt +++ b/algorithmique/cours/annexes/surete.txt @@ -1,4 +1,4 @@ -Autres outils de sureté d'un programme +Outils de sureté d'un programme -------------------------------------- La preuve de programme diff --git a/algorithmique/cours/modules.txt b/algorithmique/cours/modules.txt index 53f30da..5df4b5e 100644 --- a/algorithmique/cours/modules.txt +++ b/algorithmique/cours/modules.txt @@ -16,6 +16,11 @@ interface mode d’emploi du module, avec en plus un principe de masquage des informations (partie publique, partie secrète) + +Signatures, type abstrait et langage de modules : la programmation modulaire +permet d'aller très loin dans la programmation structurée. + + Définir des fonctions dans un fichier séparé -------------------------------------------- @@ -242,9 +247,6 @@ obtenir un nouveau module : module M = F (Titi) (Toto) -Signatures, type abstrait et langage de modules -================================================= - Contrainte de type par signature ------------------------------------