Au même titre que l’a été Ada 95, Ada 2012 est une évolution majeure du langage Ada.
Comme ses « prédécesseurs », Ada 2012 met particulièrement l’accent sur de nouveaux traits permettant de garantir au  mieux  la  sécurité et l’intégrité des applications développées tout en embrassant les nouvelles technologies telles que la technologie SMP.

Au travers de nombreux exemples et exercices, cette formation montre une utilisation concrète du langage Ada en milieu industriel.
Comprendre les « rouages » d’un langage facilite grandement son apprentissage. C’est pour cela que cette formation présente la façon dont les compilateurs implémentent le langage Ada.

Cette formation n’est pas spécifique à une implémentation donnée d’un compilateur, elle contient néanmoins de nombreuses références sur la façon de mettre correctement en œuvre la technologie GNAT (switchs compilateur, bibliothèques spécifiques, traits du langage liés à l’implémentation GNAT, outils connexes, etc.).

Objectifs

• Acquérir des connaissances sur les nouveaux traits du langage Ada 2012
• Maîtriser les clés nécessaires pour une mise en pratique rapide et correcte du langage Ada 2012

Pré-requis

Bonne connaissance du langage Ada 2005.

Programme sur 3 jours

• Aperçu
• La programmation par contrat
• Expressions et prédicats
• Programmation concurrente et TR
• Itérateurs
• Extension de la bibliothèque prédéfinie
• Évolutions diverses
• SPARK2014 (introduction)
• Conclusion générale
• Bibliographie

Exercices : jeu d’échec, fractale de Mandelbrot, queue synchronisée, itérateurs, compression de Huffman.

Matériel fourni

• Un support de cours en français relié
• Une clé USB 16 Go contenant :
  • L’ensemble des exercices avec leur corrigé
  • Un compilateur Ada (Windows, Linux)
  • De la documentation
  • Des exemples vus en séance

Évaluation

Des questionnaires seront établis en début et en fin de formation afin d’évaluer les acquis.

Introduction au langage Ada 2012

—

Modalités et contactCatalogue des formations

 

Activité enregistrée sous le numéro 93 13 12834 13 auprès du préfet de région Provence-Alpes-Côte d’Azur.