Accueil » Archives » Revue ElectroniqueS » Outil de vérification de code standard

Outil de vérification de code standard

Le 24/04/2008 à 0:00 par adminElectro

GNATcheck d’AdaCore

Cet outil de vérification de code standard Ada est destiné aux systèmes embarqués dans l’avionique.

Compatibilité avec la norme DO178-B
Approche basée sur un jeu de règles
Interface graphique

Rens. : www.adacore.com

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.
Connectez-vous
Abonnez-vous

Share via
Facebook
X (Twitter)
LinkedIn
Mix
Email
Print
Copy Link
Powered by Social Snap
Copy link
CopyCopied
Powered by Social Snap