Examples with "der Quellcodeanalyse und" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
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 Anbieter von Werkzeugen zur automatisierten Softwareverifizierung, der Quellcodeanalyse und anderen Testwerkzeugen hat die Kompatibilität seiner Werkzeugreihe mit der Common Weakness Enumeration (CWE) erreicht.
LDRA, a provider of automated software verification, source code analysis, and test tools, announced that it has achieved Common Weakness Enumeration (CWE) Compatibility for the LDRA tool suite.
Andere resultaten
Dank der Binär- und Quellcodeanalyse sowie der Verbindung von Statischer und Dynamischer Analyseverfahren kann die Sicherheit Ihrer Software mit GrammaTech CodeSonar deutlich gesteigert werden.
LDRA, dem Marktführer im Bereich Nachweis von Standards, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge wurde die TÜV SÜD Zertifizierung zuerkannt.
LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has been awarded TÜV SÜD certification.
OWASP rät dabei zu einer Kombination aus Quellcodeanalyse und Penetrationstest der Anwendung, um von den Stärken beider, sich sehr gut ergänzender Methoden zu profitieren.
OWASP recommends a combination of security code review and application penetration testing whenever possible, as that allows you to leverage the strengths of both techniques, and the two approaches complement each other.
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.
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.
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 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.
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 automated the interface between the LDRA tool suite and Atmel's AVR Studio.
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.
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.
Wirral, Vereinigtes Königreich, den 21. August 2013 - LDRA, der führende Anbieter im Bereich Standardnachweis, automatisierter Softwareverifizierung, Quellcodeanalyse und weiterer Testwerkzeuge, kündigt die Freigabe eines umfassenden DO-178C Systems bestehend mehreren Nachweisverwaltungswerkzeugen an.
Wirral, U.K. 21 August 2013 - LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, announces the delivery of a comprehensive DO-178C ecosystem of compliance management tools.
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. 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 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.
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.
GrammaTech CodeSonar ist das leistungsfähigste System für die Quellcodeanalyse, welches aktuell auf dem Markt verfügbar ist.
GrammaTech CodeSonar is the most powerful source code analysis system available today.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.