Welcome |
Bienvenue |
|
Introduction au langage de programmation AdaPrésentationLe typage fort du langage Ada permet de valider au moment de la compilation les contraintes énoncées par le programme et elles seront respectées lors de l'exécution du programme.Le langage de programmation Ada est particuliairement adapté au pilotage d'automate pour lesquels il est indispensable de décrire les sections critiques. Pour celà, le paquetage Gnat.Semaphore dont les spécifications se trouves sur système d'exploitation Debian dans le répertoire /usr/lib/gcc/*/adainclude avec l'ensemble des fichiers de bibliothèques du langage Ada vous indiquerons les mécanismes à considérer afin de maintenir un programme en état de fonctionnement. HistoireAda est un langage de programmation portable développé par une équipe de français ayants répondu à un cahier des charges du département de la défense des Etats Unis.Ada est le nom donné au langage en ommage à une dame considérée comme une pionnière dans la programmation qui est nommée Augusta Ada Lovelace. GénéralitésAperçu des caractéristiques du langage Ada et usage.1) Reserved Words / Mots réservésAda 2022 : reference manual ::= reserved words link to Adacore web site.2) Les types avec le langage AdaClassement des types avec AdaClassement des types avec AdaDéclaration de types avec AdaDéclaration de types avec Ada3) Bibliothèques et programme principalLes paquetagesSpécification de bibliothèqueSpécification de bibliothèqueImplémentation de bibliothèqueImplémentation de bibliothèqueUnité principaleUnité principaleSous Programmesous_programme4) Présentation de GnatChaîne de production du logicielProduction du logiciel5) Programmation orientée objet avec AdaTechnologie objet6) Algorithmie et contrôlsProgrammation procédurale7) Tâche et objet protégéTâche et objet protégé8) DiversDivers9) Capabilité du langage Ada
10) Mise en oeuvreimplementation |