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.
SPARK ist ein Subset der Programmiersprache Ada, das die genaue Spezifikation des Designs oder Anforderungen im Quellcode mit einer formalen Notation für Contracts unterstützt, einschließlich Pre- und Post-Bedingungen für Funktionen und Abhängigkeiten im Informationsaus-tausch zwischen Modulen.
SPARK is a programming language that supports the precise specification of design or requirements in source code using a notation for formal contracts, including pre-conditions and post-conditions for subprograms, and inter-module information flow dependencies.
Danach können Sie den Quellcode mit folgendem Befehl auschecken
After that, you can check out the source with the following command
Experimenteller Linux Support ist verfügbar wenn der Quellcode mit - enable-qsv kompiliert wird.
Experimental Linux support requires building from source with - enable-qsv.
Verwalten Sie mehr als nur Quellcode mit dem Skripteditor
Manage more than source code with the script editor
Für uns individuell entwickelte Software ist uns außerdem im Quellcode mit einer Hersteller- und Entwicklerdokumentation zu überlassen.
Any software developed specifically for us must also be transferred as source code with manufacturer and developer documentation.
Diese Option kann deaktiviert werden, damit auf Wunsch ein Problem nur im Quellcode mit einer speziellen Hintergrundfarbe markiert wird.
This option can be disabled to cause an issue to only be marked in the source code with a special background color if desired.
Gut dokumentierter Quellcode mit über 95% Testabdeckung.
Well-commented source code with over 95% test coverage.
Sobald eine Sicherheitslücke bestätigt wird, überprüft das Sicherheitsteam die notwendigen Schritte, um die Schwachstelle zu beheben und den Quellcode mit der Korrektur zu aktualisieren.
Once a vulnerability is confirmed, the security team verifies the steps necessary to fix the vulnerability and updates the source code with the fix.
Quellcode mit Kommentaren und Grafiken
Source code with comments and graphics
Bearbeiten von Quellcode mit Syntax-Markierung
Edit source code with syntax highlighting
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.
