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 La rédaction
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-BApproche basée sur un jeu de règlesInterface graphiqueRens. : www.adacore.com
La lecture de cet article est réservée aux abonnés.
Connectez-vous ou abonnez-vous pour y accéder.
Abonnez-vousConnectez-vous

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