Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
source code analysis and test
Traduction de "source code analysis and test" en allemand
Quellcodeanalyse und weiterer Testwerkzeuge
Quellcodeanalyse- und weiterer Testwerkzeuge
LDRA, the leading provider of automated software verification, source code analysis and test tools, announces LDRArules, a programming rule checker that brings together a collection of rules from a broad spectrum of programming standards.
Der führende Anbieter automatisierter Softwareverifizierungs-, Quellcodeanalyse- und weiterer Testwerkzeuge, gibt LDRArules frei, eine Programmierregelüberprüfungssoftware, die eine große Kollektion von Regeln über ein breites Spektrum von Programmierstandards umfasst.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has been awarded TÜV SÜD certification.
LDRA, dem Marktführer im Bereich Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge wurde die TÜV SÜD Zertifizierung zuerkannt.
26 February 2013. LDRA, the leading provider of automated software verification, source code analysis and test tools, today announced the immediate availability of compliance tools for the recently announced MISRA C:2012 guidelines for safety-critical software.
LDRA, der führende Lieferant von Werkzeugen zur automatisierten Softwareverifizierung, der Quellcodeanalyse und weiterer Testwerkzeuge, gibt heute bekannt, dass ab sofort Nachweismöglichkeiten für die kürzlich annoncierten MISRA C: 2012 Richtlinien für sicherheitskritische Software zur Verfügung stehen.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has automated the interface between the LDRA tool suite and Atmel's AVR Studio.
LDRA, der Marktführer im Nachweis von Standards durch Werkzeuge für die automatisierte Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge hat die Schnittstelle zwischen der LDRA Werkzeugreihe und Atmels AVR Studio automatisiert.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has created LDRA Certification Services (LCS), a division devoted to helping customers develop certification-ready products.
LDRA, der Marktführer bezüglich Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge, hat die LDRA Zertifizierungsdienstleistungsabteilung (LCS) ins Leben gerufen, eine Abteilung, die Kunden dabei unterstützen soll Produkte zu entwickeln, die anschließend leicht nach gewissen Standards zertifiziert werden können.
Wirral, UK. 25 October, 2012-LDRA, the leading provider of automated software verification, source code analysis and test tools, has fully integrated the LDRA tool suite with IBM Rational Rhapsody ensuring a seamless workflow from model-driven development to test and verification.
Wirral, Vereinigtes Königreich, den 25. Oktober 2012.-LDRA, der führende Anbieter automatisierter Softwareverifizierungs- Quellcodeanalyse- und weiterer Testwerkzeuge hat die LDRA Werkzeugreihe mit IBM Rational Rhapsody vollständig integriert, so dass nunmehr ein nahtloser Arbeitsfluss von der modellgetriebenen Entwicklung bis zum Test und der Verifizierung möglich ist.
Wirral, UK, 30 May 2013 - LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has integrated the LDRA tool suite with the Lauterbach TRACE32 Debugger and Simulator.
Wirral, Vereinigtes Königreich, den 30. Mai 2013.-LDRA, die führende Firma in Bezug auf Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und anderer Testwerkzeuge, hat die LDRA Werkzeugreihe mit Lauterbachs TRACE32 Debugger und Simulator integriert.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, now offers unprecedented verification of the model through a sophisticated integration with MATLAB and Simulink.
LDRA, der führende Anbieter von automatisierten Softwareverifizierungs-, Quellcodeanalyse- und anderen Testwerkzeugen bietet nunmehr eine beispiellose Verifizierung des modellbasierten Entwurfs durch eine komplexe Integration mit MATLAB und Simulink an.
Le mot et l’expression du jour
L’image du jour
Résultats: 8. Exacts: 8. Temps écoulé: 77 ms.
