L'embarqué > - Environnement de développement pour le langage Ada

- Environnement de développement pour le langage Ada

AdaCore remanie sa ligne de produits GNAT Pro afin de proposer des solutions de développement Ada prenant en compte l’évolution des applications embarquées dans de multiples domaines.

- GNAT Pro Enterprise combine et remplace les produits existants

- GNAT Pro natifs/croisés et GNAT Pro Ada Safety-Critical Environnement faits pour le développement industriel de logiciels critiques

- GNAT Pro Assurance permet de gérer tous les aspects liés aux certifications logicielles

- GNAT Pro Developer est destiné aux nouveaux utilisateurs du langage Ada

- Tous les produits GNAT Pro incluent la suite d’outils SPARK Discovery s’appuyant sur des méthodes de preuve formelle

 

 

 

Retour à la liste