CodePeer ist ein fortgeschrittenes statisches Analyse-Tool, das in der Lage ist, Laufzeitfehler und logische Fehler in Ada-Quellcode zu entdecken.
Exhibitor Profile Floor Plan CodePeer is an advanced static analysis tool that detects run-time and logic errors in Ada code.
Autres résultats
IHI, ein Hersteller von Düsentriebwerken in Japan, entschied sich für die LDRA Werkzeugreihe um seinen vorhandenen C und Ada Quellcode für die DO-178B Zertifizierung zu verifizieren.
Find out how IHI Japan utilised the LDRA tool suite to achieve DO-178B certification - Cert C: secure coding programming checker with TBsecure
VectorCAST/C++ und VectorCAST/Ada automatisieren das Testen von C, C++ oder Ada Quellcode.
VectorCAST/C++ and VectorCAST/Ada automates the process of testing source modules written in C/C++ or Ada.
Der Quellcode von Ada Programmen kommt in Paketen.
Sie als Nutzer sichern zu, dass Sie nicht versuchen werden, den Quellcode unserer Ada Plattform, weder ganz noch teilweise, zu ermitteln oder auf diesen zuzugreifen, soweit dieser nicht ausdrücklich von uns veröffentlicht und zur öffentlichen Nutzung freigegeben wurde.
You, the User, warrant that you will not attempt to discover or access the source code of the Ada Platform, in whole or in part, unless it has been expressly published by us and released into the public domain.
Unterstützt werden C/C++ und ADA 83/95 Quellcode.
Source code written in C, C++ as well as Ada 83 and 95 is supported.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Synonymes et analogies de "Ada-Quellcode" en allemand