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.
and Polyspace
Polyspace Code Prover und Polyspace Bug Finder sind ab sofort erhältlich.
Polyspace Bug Finder and Polyspace Code Prover for formal verification of hand-written and generated code
Ziel: Anwenden des Gelernten auf den eigenen Code und integrieren von Polyspace Bug Finder und Polyspace Code Prover in einen Entwicklungsprozess.
Hands-on Instruction Objetivo: Spend time reviewing what you have learned and applying Polyspace Code Prover directly to your own project.
Einheitliche Benutzeroberfläche: Erstellung und Konfiguration eines gemeinsamen Projekts für Analysen mit Polyspace Bug Finder und Polyspace Code Prover
Unified User Interface: Create and maintain a single Polyspace project for Bug Finder and Code Prover analysis
Ziel: Verstehen an welcher Stelle im Softwareentwicklungsprozess Polyspace Bug Finder und Polyspace Code Prover richtigerweise eingesetzt werden.
Polyspace Workflow Overview Objetivo: Become familiar with Polyspace Bug Finder and Code Prover and work through an introductory example.
Gestalten Sie die Entwicklungsprozesse eines führenden Zulieferers der Automobilindustrie durch den Einsatz von Modell-Basierter Entwicklung, Datenanalytik, numerischer Berechnung und statischer Codeanalyse mit MATLAB, Simulink und Polyspace.
Location: DE-Stuttgart Department: Technical Sales Engineering Shape the way a leading car manufacturer develops automotive systems through the use of Technical Computing and Model-Based Design with MATLAB and Simulink.
Der TÜV SÜD hat bestimmte Versionen von Real-Time Workshop Embedded Coder und PolySpace Verifier für C , einschließlich Code-Analysierer MISRA-C:2004, zertifiziert und die Einhaltung der Norm IEC 61508 bestätigt.
Specific versions of Real-Time Workshop Embedded Coder and PolySpace Verifier for C, which includes the MISRA-C:2004 code analyzer, have been certified by T #220;V S #220;D for use with the IEC 61508 standard.
Workflow der Code-Verifizierung mit PolySpace Client für C/C++ und PolySpace Server für C/C++.
Code verification workflow with PolySpace Client for C/C++ and PolySpace Server for C/C++.
Hier sind Bands wie Flint Glass, Oil 10, OTX, For a Space und Polyspace zu finden.
Here you can find acts like Flint Glass, Oil 10, OTX, For a Space, Polyspace and more.
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.
