Comme beaucoup de Franciliens vous avez déjà pris sans doute la ligne 14 du métro parisien, cette ligne de métro inaugurée en 1998 est entièrement automatique et dés sa mise en service a fonctionné sans aucun problème informatique. Une large part de cette réussite technique est due à l’utilisation du langage ADA et du système de preuve formelle basé sur le langage B.
Lors de cet atelier animé par des experts ADA nous découvrirons les avantages de ce langage .
Petite note historique :
ADA tire son nom de ADA lovelace qui est considérée comme la première informaticienne du monde pour avoir dans les années 1830 programmée la machine analytique de Charles Babbage.
MODALITÉS : être adhérent(e), 20€/an (10€ demandeurs d’emploi) valable 1 an pour plus de 10 ateliers.
