AdaCore présente AdaCore University, une plate-forme web gratuite destinée à toute personne souhaitant apprendre à programmer en langage Ada. Cette plate-forme propose entre autres supports des cours pré-enregistrés et ateliers pratiques, avec un accès aux outils GNAT d’AdaCore. Les méthodes pédagogiques utilisées permettent aux élèves, quel que soit leur niveau, de démarrer rapidement l’écriture de programmes et de continuer à leur rythme.
Le matériel de formation disponible sur AdaCore University est composé d’exemples qui permettent aux élèves de voir, de comprendre et d’expérimenter les principales fonctions du langage de programmation Ada. Le site s’appuie sur l’expérience d’enseignement de l’équipe de formateurs d’AdaCore, qui compte notamment Robert Dewar et Edmond Schonberg, fondateurs d’AdaCore et professeurs émérites de l’Université de New York. Le premier programme de formation comprend deux cours :
· Ada 001, « Vue d’ensemble » – module qui donne un aperçu du langage via de petits exemples concrets et qui permet aux élèves d’écrire leurs premiers programmes.
· Ada 002, « Concepts de base » – premier d’une série de cours Ada, présentant les concepts de programmation de manière plus complète.
Les cours portent sur la dernière version du langage Ada (Ada 2012), basé sur un environnement de développement GNAT librement disponible. Le site AdaCore University héberge également de nombreux articles techniques sur Ada.
AdaCore University est un projet vivant et intègrera rapidement d’autres cours, notamment un chapitre sur SPARK 2014, langage de programmation basé sur Ada conçu pour les logiciels de haute fiabilité. (notamment là où la sûreté et / ou la sécurité du code sont au plus haut niveau de criticité).
AdaCore University est soutenue par des organismes à but non lucratif visant à défendre et à promouvoir le langage de programmation Ada, dont la Ada Resource Association, SIGAda, Ada Deutschland, Ada France et Ada Europe.
Plus d’informations à propos d’AdaCore University sur le site http://university.adacore.com.
À propos d’AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d’AdaCore est l’environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.
L’utilisation d’Ada et de GNAT Pro connaît une croissance continue dans les applications critiques ou certifiées pour la sûreté, comme les éléments d’avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.
Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord. http://www.adacore.com
Contacts Presse
Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany
| Tweeter | |
| Scoop.it |
